A bridging model for parallel computation
Communications of the ACM
Vector models for data-parallel computing
Vector models for data-parallel computing
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Structured development of parallel programs
Structured development of parallel programs
A calculus of functional BSP programs
Science of Computer Programming - Special issue on mathematics of program construction
Concrete data structures and functional parallel programming
Theoretical Computer Science
Optimizing Data-Parallel Programs Using the BSP Cost Model
Euro-Par '98 Proceedings of the 4th International Euro-Par Conference on Parallel Processing
High Level BSP Programming: BSML and BSlambda
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
A calculus of functional BSP programs with projection
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
| Hi-index | 0.00 |
The BSλp calculus is a calculus of functional BSP programs on enumerated parallel vectors. This confluent calculus is defined and a parallel cost model is associated with a weak call-by-value strategy. These results constitute the core of a formal design for a BSP dialect of ML