124 search results - page 10 / 25 » Full Abstraction for a Shared Variable Parallel Language |
POPL
2009
ACM
15 years 6 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
109
click to vote
ICPP
2000
IEEE
15 years 4 months ago
2000
IEEE
MATLAB is one of the most popular languages for desktop numerical computations as well as for signal and image processing applic ations. Applying parallel processing techniques to...
106
click to vote
POPL
1990
ACM
15 years 3 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
100
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
SC
1992
ACM
15 years 3 months ago
1992
ACM
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...