172 search results - page 6 / 35 » A type and effect system for deterministic parallel Java |
146
click to vote
AFP
2008
Springer
15 years 8 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
116
click to vote
IFM
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...
136
click to vote
HPCN
1998
Springer
15 years 6 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
105
Voted
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...