3307 search results - page 211 / 662 » The meaning of concurrent programs |
126
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Hardware transactional memory is a promising synchronization technology for chip-multiprocessors. It simplifies programming of concurrent applications and allows for higher concu...
137
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
124
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
122
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
127
click to vote
IWMM
2004
Springer
15 years 9 months ago
2004
Springer
Garbage-First is a server-style garbage collector, targeted for multi-processors with large memories, that meets a soft real-time goal with high probability, while achieving high ...