96 search results - page 12 / 20 » Concurrency Combinators for Declarative Synchronization |
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...
CEFP
2009
Springer
13 years 5 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...