1729 search results - page 92 / 346 » A Case-Based Parallel Programming System |
122
Voted
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
134
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
DAGSTUHL
2008
15 years 3 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
121
click to vote
IFL
2003
Springer
15 years 7 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
140
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...