Sciweavers

2302 search results - page 259 / 461
» The Evolution of Concurrent Programs
Sort
View
SAC
2010
ACM
16 years 1 months ago
RTTM: real-time transactional memory
Hardware transactional memory is a promising synchronization technology for chip-multiprocessors. It simplifies programming of concurrent applications and allows for higher concu...
Martin Schoeberl, Florian Brandner, Jan Vitek
COORDINATION
2007
Springer
16 years 1 months ago
Generalized Committed Choice
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
DATE
2006
IEEE
116views Hardware» more  DATE 2006»
16 years 1 months ago
Adaptive data placement in an embedded multiprocessor thread library
— 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...
Phillip Stanley-Marbell, Kanishka Lahiri, Anand Ra...
CIE
2005
Springer
16 years 18 days ago
A Thread Algebra with Multi-level Strategic Interleaving
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...
Jan A. Bergstra, C. A. Middelburg
IWMM
2004
Springer
127views Hardware» more  IWMM 2004»
16 years 12 days ago
Garbage-first garbage collection
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 ...
David Detlefs, Christine H. Flood, Steve Heller, T...