Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

IPPS
1998
IEEE

favoriteEmaildiscussreport

89views Distributed And Parallel Com...» more IPPS 1998»

Building BSP Programs Using the Refinement Calculus

13 years 8 months ago

Building BSP Programs Using the Refinement Calculus

Download ipdps.cc.gatech.edu

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 for sequential computing can be generalised to (some) parallel computing environments, and may be useful for managing some of the details of programming in such situations.

David B. Skillicorn

Real-time Traffic

Bulk Synchronous Parallelism | Distributed And Parallel Computing | IPPS 1998 | Parallel Computing Environments | Refinement Calculus |

claim paper

Related Content

» A calculus of functional BSP programs with projection

» Automating Refinement Checking in Probabilistic System Design

» A Calculus for the Refinement and Evolution of Multiuser Mobile Applications

» An Adaptive FaultTolerant Implementation of BSP for JAVABased Volunteer Computing Systems

» A Calculus of Gamma Programs

» The variety of variables in computeraided realtime programming

» Contractbased mutation testing in the refinement calculus

» A bulksynchronous parallel process algebra

» A Goalbased Approach to Policy Refinement

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	IPPS
Authors	David B. Skillicorn

Comments (0)