1724 search results - page 10 / 345 » Types as models: model checking message-passing programs |
ICPPW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper emphasizes on load balancing issues associated with hybrid programming models for the parallelization of fully permutable nested loops onto SMP clusters. Hybrid paralle...
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a high-performance Distributed Shared Memory system called VODCA, which supports a novel View-Oriented Parallel Programming on cluster computers. One advantage...
JAVA
1999
Springer
13 years 12 months ago
1999
Springer
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
SAC
2003
ACM
14 years 27 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...