717 search results - page 64 / 144 » Kill-safe synchronization abstractions |
161
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
Demand for programming environments to exploit clusters of symmetric multiprocessors (SMPs) is increasing. In this paper, we present a new programming environment, called ParADE, ...
143
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
This paper surveys and places into perspective a number of results concerning the D-BSP (Decomposable Bulk Synchronous Parallel) model of computation, a variant of the popular BSP ...
146
Voted
PACT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
170
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
184
Voted
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...