2019 search results - page 50 / 404 » Programming with Shared Data Abstractions |
102
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
122
click to vote
OSDI
1994
ACM
15 years 3 months ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
127
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
121
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
In this paper, we present a compiler strategy to optimize data accesses in regular array-intensive applications running on embedded multiprocessor environments. Specifically, we p...
129
click to vote
CONCUR
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...