Sciweavers

10707 search results - page 451 / 2142
» Designing executable abstractions
Sort
View
IPPS
2000
IEEE
15 years 10 months ago
Pipelining Wavefront Computations: Experiences and Performance
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
E. Christopher Lewis, Lawrence Snyder
IPPS
2000
IEEE
15 years 10 months ago
Using Logs to Increase Availability in Real-Time Main-Memory Database
Abstract. Real-time main-memory databases are useful in real-time environments. They are often faster and provide more predictable execution of transactions than disk-based databas...
Tiina Niklander, Kimmo E. E. Raatikainen
IFL
1999
Springer
117views Formal Methods» more  IFL 1999»
15 years 10 months ago
On Code Generation for Multi-generator WITH-Loops in SAC
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
WDAG
1998
Springer
87views Algorithms» more  WDAG 1998»
15 years 10 months ago
Wait-Free Synchronization in Quantum-Based Multiprogrammed Systems
d Abstract) James H. Anderson, Rohit Jain, and David Ott Department of Computer Science University of North Carolina at Chapel Hill We consider wait-free synchronization in multipr...
James H. Anderson, Rohit Jain, David Ott
ICPP
1993
IEEE
15 years 10 months ago
Meta-State Conversion
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
Henry G. Dietz, G. Krishnamurthy