164 search results - page 22 / 33 » Primitives for Contract-based Synchronization |
155
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
175
click to vote
IEEEPACT
2005
IEEE
15 years 11 months ago
2005
IEEE
Hiding communication latency is an important optimization for parallel programs. Programmers or compilers achieve this by using non-blocking communication primitives and overlappi...
199
click to vote
PODC
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, we describe an e cient software-only Distributed Shared Memory (DSM) consistency protocol for an unconventional but important application domain - object transactio...
205
click to vote
PPOPP
2006
ACM
15 years 12 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
283
click to vote
CC
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...