1370 search results - page 11 / 274 » Synchronization Transformations for Parallel Computing |
IPPS
1998
IEEE
14 years 27 days ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...
IANDC
2007
13 years 8 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
DAC
1992
ACM
14 years 22 days ago
1992
ACM
ICPP
1997
IEEE
14 years 25 days ago
1997
IEEE
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...
MST
2002
13 years 8 months ago
2002
Abstract. Blockwise access to data is a central theme in the design of efficient external memory (EM) algorithms. A second important issue, when more than one disk is present, is f...