1491 search results - page 148 / 299 » Resource-Passing Concurrent Programming |
96
Voted
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
93
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
Chip multi-processors (CMPs) have become ubiquitous, while tools that ease concurrent programming have not. The promise of increased performance for all applications through ever ...
109
click to vote
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
87
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
106
click to vote
POS
1998
Springer
15 years 4 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...