Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,743
The DASH Prototype: Logic Overhead and Performance
- IEEE Transactions on Parallel and Distributed Systems
, 1993
"... Abstract-The fundamental premise behind the DASH project is that it is feasible to build large-scale shared-memory multi-processors with hardware cache coherence. While paper studies and software simulators are useful for understanding many high-level design tradeoffs, prototypes are essential to en ..."
Abstract
-
Cited by 111 (3 self)
- Add to MetaCart
of the DASH multiprocessor is now operational. In this paper, we first examine the hardware overhead of directory-based cache coherence in the prototype. The data show that the overhead is only about M-15%, which appears to be a small cost for the ease of programming offered by coherent caches
Efficient Software-Based Fault Isolation
, 1993
"... One way to provide fault isolation among cooperating software modules is to place each in its own address space. However, for tightly-coupled modules, this solution incurs prohibitive context switch overhead, In this paper, we present a software approach to implementing fault isolation within a sing ..."
Abstract
-
Cited by 777 (12 self)
- Add to MetaCart
One way to provide fault isolation among cooperating software modules is to place each in its own address space. However, for tightly-coupled modules, this solution incurs prohibitive context switch overhead, In this paper, we present a software approach to implementing fault isolation within a
Reducing scheduling overheads for concurrent logic programs
- In International Workshop on Processing Declarative Knowledge
, 1991
"... Strictness analysis is crucial for the efficient implementation f the lazy flmctionM lan-guages. A related technique for the concurrent logic languages (CLLs) called schedule analysis is presented which divides at compile-time a CLL program into threads of to-tally ordered atoms, whose relative orde ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
Strictness analysis is crucial for the efficient implementation f the lazy flmctionM lan-guages. A related technique for the concurrent logic languages (CLLs) called schedule analysis is presented which divides at compile-time a CLL program into threads of to-tally ordered atoms, whose relative
Reducing Communication Overhead In Distributed Logic Simulation Of Circuits
, 1998
"... Distributed simulation represents an attractive and smart way of improving the verification speed of large VLSI circuits. Unfortunately, this inexpensive approach suffers from the low performance of the communication networks used to connect local workstations. In this paper, we present a partitioni ..."
Abstract
- Add to MetaCart
partitioning algorithm that attempt to find a suitable balance between the communication and the execution load in a distributed simulator to enhance its speedup. The main features of this method are the use of logic replication to reduce the communication overhead and a realistic cost function that takes
A fuzzy logic system for calculation of the interference of overhead
, 2000
"... transmission lines on buried pipelines ..."
Estimating Rollback Overhead for Optimism Control in Time Warp
- In Proceedings of the 28th Annual Simulation Symposium
, 1995
"... The main performance pitfall of the Time Warp distributed discrete event simulation (DDES) protocol has been widely recognized to be the overoptimistic progression of event execution into the simulated future. The premature execution of events that eventually have to be "rolled back" due t ..."
Abstract
-
Cited by 39 (5 self)
- Add to MetaCart
to causality violations induces memory and communication overheads as sources of performance inefficiencies. Optimistic Time Windows and self adaptive mechanisms have been proposed in the literature to control the optimism in Time Warp in order to improve or optimize its execution performance. In this work
Minimizing the overheads of dependent AND-parallelism
"... Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it adds overheads that aren’t present in sequential programs. This is an important problem for parallel logic programming syste ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it adds overheads that aren’t present in sequential programs. This is an important problem for parallel logic programming
Generalized Design of an Anti-swing Fuzzy Logic Controller for an Overhead Crane with Hoist
, 2006
"... Abstract: The behavior of many mechanical systems, such as overhead cranes, can be predicted through intuitive observation of their motion under various forces. Mathematical modeling of an overhead crane shows that it is highly coupled. Nonetheless, it is surprisingly easy for an experienced crane o ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
operator to drive payloads to target positions with minimal cable swing. This observation naturally promotes the use of fuzzy logic to control overhead cranes. Traditionally, fuzzy logic controllers of overhead cranes were presented for specific crane system/motion parameters. This work presents a novel
Types, Bytes and Separation Logic
, 2007
"... We present a formal model of memory that both captures the low-level features of C’s pointers and memory, and that forms the basis for an expressive implementation of separation logic. At the low level, we do not commit common oversimplifications, but correctly deal with C’s model of programming lan ..."
Abstract
-
Cited by 84 (25 self)
- Add to MetaCart
We present a formal model of memory that both captures the low-level features of C’s pointers and memory, and that forms the basis for an expressive implementation of separation logic. At the low level, we do not commit common oversimplifications, but correctly deal with C’s model of programming
Results 1 - 10
of
1,743
