461 search results - page 4 / 93 » Verifying parallel programs with dynamic communication struc... |
PVM
2007
Springer
14 years 21 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
CCGRID
2007
IEEE
14 years 28 days ago
2007
IEEE
We propose to address collective communications in distributed components through collective interfaces. Collective interfaces handle data distribution, parallelism and synchroniz...
GC
2004
Springer
13 years 12 months ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
IPPS
2006
IEEE
14 years 19 days ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
ICS
1992
Tsinghua U.
13 years 10 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...