PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and indeterminism. This paper presents a formal operational semantics for a C+PUB subset language using the Coq proof assistant and a certified N-body computation as example of using this for-mal semantics. 1
The Bulk-Synchronous Parallel (BSP) bridging model is a candidate for a simple and practical definit...
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
The BSP model is an established practical general-purpose parallel programming model. This paper pre...
PUB (Paderborn University BSPLib) is a C library sup-porting the development of Bulk-Synchronous Par...
Abstract. PUB (Paderborn University BSPLib) is a C library support-ing the development of Bulk-Synch...
AbstractPaderborn’s and Oxford’s BSPLib are C libraries supporting the development of Bulk-Synchrono...
Abstract — With the current generalisation of parallel archi-tectures arises the concern of applying...
Research Report RR-2010-01With the current generalization of parallel architectures arises the conce...
The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP)...
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic...
International audienceSyDPaCC is a set of libraries for the Coq proof assistant. It allows to write ...
BSPlib is a small communications library for bulk synchronous parallel (BSP) programming which consi...
AbstractThe CCS (Calculus of Communicating System) process algebra is a well-known formal model of s...
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
BSPlib is a small communications library for bulk synchronous parallel (BSP) programming which consi...
The Bulk-Synchronous Parallel (BSP) bridging model is a candidate for a simple and practical definit...
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
The BSP model is an established practical general-purpose parallel programming model. This paper pre...
PUB (Paderborn University BSPLib) is a C library sup-porting the development of Bulk-Synchronous Par...
Abstract. PUB (Paderborn University BSPLib) is a C library support-ing the development of Bulk-Synch...
AbstractPaderborn’s and Oxford’s BSPLib are C libraries supporting the development of Bulk-Synchrono...
Abstract — With the current generalisation of parallel archi-tectures arises the concern of applying...
Research Report RR-2010-01With the current generalization of parallel architectures arises the conce...
The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP)...
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic...
International audienceSyDPaCC is a set of libraries for the Coq proof assistant. It allows to write ...
BSPlib is a small communications library for bulk synchronous parallel (BSP) programming which consi...
AbstractThe CCS (Calculus of Communicating System) process algebra is a well-known formal model of s...
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
BSPlib is a small communications library for bulk synchronous parallel (BSP) programming which consi...
The Bulk-Synchronous Parallel (BSP) bridging model is a candidate for a simple and practical definit...
International audienceBulk synchronous parallelism (BSP) offers an abstract and simple model of para...
The BSP model is an established practical general-purpose parallel programming model. This paper pre...
DOI
Add to ORKG