1099 search results - page 58 / 220 » A Parallel Programming Style and Its Algebra of Programs |
109
click to vote
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...
TACAS
1997
Springer
15 years 1 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...
103
click to vote
PLDI
2012
ACM
13 years 6 days ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
CONCURRENCY
1998
14 years 9 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
132
click to vote
SCAM
2005
IEEE
15 years 3 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...