546 search results - page 43 / 110 » An operational happens-before memory model |
115
click to vote
CCGRID
2003
IEEE
15 years 1 months ago
2003
IEEE
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...
WSC
2001
14 years 11 months ago
2001
This paper presents a simulation model of the operations in the Labor and Delivery Rooms at Jackson Memorial Hospital. A thorough analysis of the contents of hospital's datab...
CG
2007
Springer
14 years 9 months ago
2007
Springer
Algorithms that use point-cloud models make heavy use of the neighborhoods of the points. These neighborhoods are used to compute the surface normals for each point, mollificatio...
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
CC
2003
Springer
15 years 3 months ago
2003
Springer
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...