Sciweavers

1491 search results - page 71 / 299
» Resource-Passing Concurrent Programming
Sort
View
POPL
2007
ACM
14 years 10 months ago
Implementing deterministic declarative concurrency using sieves
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
Sam Lindley
CLUSTER
2011
IEEE
12 years 9 months ago
Exploring Fine-Grained Task-Based Execution on Multi-GPU Systems
Using multi-GPU systems, including GPU clusters, is gaining popularity in scientific computing. However, when using multiple GPUs concurrently, the conventional data parallel GPU...
Long Chen, Oreste Villa, Guang R. Gao
ESOP
2010
Springer
14 years 7 months ago
Logical Concurrency Control From Sequential Proofs
G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswan...
SC
1992
ACM
14 years 2 months ago
Heterogeneous Parallel Programming in Jade
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
Martin C. Rinard, Daniel J. Scales, Monica S. Lam
AGP
2010
IEEE
14 years 2 months ago
The Transformational Approach to Program Development
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...