4604 search results - page 203 / 921 » Concurrency in Synchronous Systems |
138
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
132
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
186
click to vote
CEFP
2009
Springer
15 years 2 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
169
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
148
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...