742 search results - page 61 / 149 » Set-based Concurrent Engineering |
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
CONCURRENCY
1998
14 years 9 months ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
EUROMICRO
1998
IEEE
15 years 2 months ago
1998
IEEE
The main function of a continuous media server is to concurrently stream data from storage to multiple clients over a network. The resulting streams will congest the host CPU bus,...