AbstractAn extension of the λ-calculus called BSλ is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A confluence result is shown. The application of the calculus is illustrated by examples of program proofs and the associated notion of parallel reduction. The reduction process is interpreted in the BSP cost model
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
International audienceThis paper presents the design and implementation of a sequential simulator fo...
AbstractThe CCS (Calculus of Communicating System) process algebra is a well-known formal model of s...
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchro...
Research Report RR-2010-01With the current generalization of parallel architectures arises the conce...
Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional data-parallel language for the impleme...
The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP)...
The Bulk-Synchronous Parallel (BSP) bridging model is a candidate for a simple and practical definit...
A functional language called BSML is designed for programming BSP algorithms in direct mode. Its aim...
Abstract — With the current generalisation of parallel archi-tectures arises the concern of applying...
Parallel computers are a powerful tool of modern science and engineering. A parallel computer may ha...
The BSP model is an established practical general-purpose parallel programming model. This paper pre...
The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional languag...
International audienceBulk Synchronous Parallel ML or BSML is a high-level language for programming ...
The design of a complex algorithm relies heavily on a set of primitive operations and the instrument...
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
International audienceThis paper presents the design and implementation of a sequential simulator fo...
AbstractThe CCS (Calculus of Communicating System) process algebra is a well-known formal model of s...
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchro...
Research Report RR-2010-01With the current generalization of parallel architectures arises the conce...
Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional data-parallel language for the impleme...
The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP)...
The Bulk-Synchronous Parallel (BSP) bridging model is a candidate for a simple and practical definit...
A functional language called BSML is designed for programming BSP algorithms in direct mode. Its aim...
Abstract — With the current generalisation of parallel archi-tectures arises the concern of applying...
Parallel computers are a powerful tool of modern science and engineering. A parallel computer may ha...
The BSP model is an established practical general-purpose parallel programming model. This paper pre...
The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional languag...
International audienceBulk Synchronous Parallel ML or BSML is a high-level language for programming ...
The design of a complex algorithm relies heavily on a set of primitive operations and the instrument...
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
International audienceThis paper presents the design and implementation of a sequential simulator fo...
AbstractThe CCS (Calculus of Communicating System) process algebra is a well-known formal model of s...
DOI
Add to ORKG