3307 search results - page 159 / 662 » The meaning of concurrent programs |
151
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
156
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
130
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
108
Voted
PPOPP
2009
ACM
15 years 8 months ago
2009
ACM
Boosted transactions offer an attractive method that enables programmers to create larger transactions that scale well and offer deadlock-free guarantees. However, as boosted tran...
130
Voted
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...