Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 38 for “"Multi-node"”.
-
Multi-node mirrored NVRAM in a virtualized environment
… has contributed to the design and deployment of multi-node data storage clusters. This paper presents a simulator of one such multi-node, multi-machine cluster. The simulator is architected by extending the NetApp, Inc. 2-node cluster architecture to an N-node design. Data availability is …
-
Building operational excellence in a multi-node supply chain
This thesis shows how a combination of macro-economic, business, and organizational factors can lead a well-run company to adopt a "launch-and-expedite" behavior with detrimental effects on operational efficiency. It also demonstrates how it is possible, for an organization that finds itself in …
-
Design and Analysis of Multilevel Coded Modulation for Multi-Node Networks
… the analysis of the limits of communication in multi-node networks and the methods that can approach those limits. This dissertation studies new multi-level architectures for coded modulation in multi-node networks that aim to approach, in the practical realm, the capacity limits unveiled by …
-
Sequential Equivalence Checking of Circuits with Different State Encodings by Pruning Simulation-based Multi-Node Invariants
… this thesis, we propose a novel simulation-based multi-node inductive invariant generation and pruning technique to check the equivalence of sequential circuits that have different state encodings and very few equivalent signals between them. By first grouping flip-flops into smaller subsets to …
-
Fast Static Learning and Inductive Reasoning with Applications to ATPG Problems
Relations among various nodes in the circuit, as captured by static and inductive invariants, have shown to have a positive impact on a wide range of EDA applications. Techniques such as boolean constraint propagation for static learning and assume-then-verify approach to reason about inductive …
-
Proximity coherence for chip-multiprocessors
… implement the most efficient solution for chip-multiprocessors, placing limits on the performance of these complex systems. In an era of increasingly power limited silicon design, efficiency is now a primary concern that motivates designers to look again at the challenge of cache coherence. The …
-
HyflowCPP: A Distributed Software Transactional Memory Framework for C++
… distributed environment due to the complexity of multi-node concurrency. At its core, DTM's atomic section-based synchronization abstraction enables the execution of a sequence of multi-node object operations with the classical serializability property, which significantly increases the …
-
Simulating Nonlinear Neutrino Oscillations on Next-Generation Many-Core Architectures
… modular code which was designed to utilize multiple levels of parallelism through MPI, OpenMP, and SIMD instructions (vectorization). It can run on both the CPU and the Xeon Phi co-processor, the latter of which is based on the Intel Many Integrated Core Architecture (MIC). The performance …
-
Declarative Analytics on Heterogeneous HPC Systems
… While recent advancements have focused on multi-threaded and multi-core implementations of Datalog, the evolution of exascale systems presents a compelling opportunity to extend Datalog’s capabilities to multi-node, multi-GPU environments. This thesis addresses this gap by developing the …
-
Algorithms and Low Cost Architectures for Trace Buffer-Based Silicon Debug
… debug, an algorithm which uses a SAT-based multi-node implication engine is introduced to restore the values of untraced signals across multiple time-frames. A new multiplexer-based trace signal interconnection scheme and a new heuristic for trace signal selection based on implication-based …
-
Transforming and Optimizing Irregular Applications for Parallel Architectures
Parallel architectures, including multi-core processors, many-core processors, and multi-node systems, have become commonplace, as it is no longer feasible to improve single-core performance through increasing its operating clock frequency. Furthermore, to keep up with the exponentially growing …
-
Evaluating the performance of natural ventilation in buildings through simulation and on-site monitoring
… program, CoolVent, is presented. It implements a multi-node, thermal and energy coupled model to simulate natural ventilation in buildings. The program is validated to be effective and efficient in simulation. Combined with the DOE building database, CoolVent evaluates the performance of different …
-
SuperTaco : Taco Tensor Algebra kernels on distributed systems using Legion
… powerful language for expressing computation on multidimensional data. While many tensor datasets are sparse, most tensor algebra libraries have limited support for handling sparsity. The Tensor Algebra Compiler (Taco) has introduced a taxonomy for sparse tensor formats that has allowed them to …
-
Analysis of time-dependent effects on segmental prestressed concrete curved box-girder bridges
… on the displacement method of analysis where multi-node variable cross-section beam elements curved in space, as well as conventional prismatic straight elements, are used to model bridges of arbitrary geometry. Prestressed tendons can have any profile in the space and can be prestressed, …
-
Sequential Equivalence Checking with Efficient Filtering Strategies for Inductive Invariants
… utilizes arbitrary relations between any two nodes within the two sequential circuits in question. The two nodes can reside in the same or across the circuits; likewise, they can be from the same time-frame or across time-frames. The merit for this approach is to use global structure of the …
-
Influence of environmental conditions and architectural form on the design and thermal performance of the flat-plate solar collector system.
… climatic and restricted site conditions. A multi-node capacitance model describes the dynamic heat transfer and energy storage processes within the solar collector unit, storage tank and the connecting pipework. This simulation model predicts the dynamic system performance under intermittent …
-
Speculative ray scheduling for large data visualization on supercomputers
… achieves many-times higher throughput on a multi-node, distributed system than prior methods, making our method fit for both interactive and offline applications.
-
Thermo-Economic Modelling of Micro-Cogeneration Systems System Design for Sustainable Power Decentralization by Multi-Physics System Modelling and Micro-Cogeneration Systems Performance Analysis for the UK Domestic Housing Sector
… virtual prototyping environment, using a dynamic multi-physics simulation tool. The model based procedure in its current form focuses on ICE based micro-CHP systems. In the process of developing the models, new approaches on general system, engine, heat exchanger, and dwelling thermal modelling …
-
Optimal Operation of Multi-Energy Systems in Integrated Energy Networks with Distributed Peer-to-Peer Energy Transactive Framework
Multi-carrier energy systems (MES) and peer-to-peer (P2P) energy sharing have gained research attention for their sustainability benefits to energy systems. As a result, this thesis proposes optimal operation models for integrated energy distribution networks with interconnected MES operating in a …
Page 1 of 2