Results 1  10
of
14
Parallel Superposition for Bulk Synchronous Parallel ML
, 2003
"... The BSMLlib is a library for Bulk Synchronous Parallel programming with the functional language Objective Caml. It is based on an extension of the lcalculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. ..."
Abstract

Cited by 10 (7 self)
 Add to MetaCart
The BSMLlib is a library for Bulk Synchronous Parallel programming with the functional language Objective Caml. It is based on an extension of the lcalculus by parallel operations on a parallel data structure named parallel vector, which is given by intention.
Parallel Juxtaposition for Bulk Synchronous Parallel ML
 EuroPar 2003, number 2790 in LNCS
, 2002
"... The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
(Show Context)
The BSMLlib is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention.
BSP Algorithms Design for Hierarchical Supercomputers. submitted for publication
, 2002
"... Abstract In recent years there has been a trend towards using standard workstation components to construct parallel computers, due to the enormous costs involved in designing and manufacturing specialpurpose hardware. In particular, we can expect to see a large population of SMP clusters emerging i ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
(Show Context)
Abstract In recent years there has been a trend towards using standard workstation components to construct parallel computers, due to the enormous costs involved in designing and manufacturing specialpurpose hardware. In particular, we can expect to see a large population of SMP clusters emerging in the next few years. These are localarea networks of workstations, each containing around four parallel processors with a single shared memory. To use such machines effectively will be a major headache for programmers and compilerwriters. Here we consider how wellsuited the BSP model might be for these twotier architectures, and whether it would be useful to extend the model to allow for nonuniform communication behaviour.
Supporting Highly Parallel Computing with a High Bandwidth Optical Interconnect
, 2001
"... The list of applications requiring high performance computing resources is constantly growing. The cost of interprocessor communication is critical in determining the performance of massively parallel computing systems for many of these applications. This paper considers the feasibility of a commodi ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
The list of applications requiring high performance computing resources is constantly growing. The cost of interprocessor communication is critical in determining the performance of massively parallel computing systems for many of these applications. This paper considers the feasibility of a commodity processorbased system which uses a freespace optical interconnect. A novel architecture, based on this technology, is presented. Analytical and simulation results based on an implementation of BSP (Bulk Synchronous Parallelism) are presented, indicating than a significant performance enhancement, over architectures using conventional interconnect technology, is possible.
Supporting Bulk Synchronous Parallelism with a HighBandwidth Optical Interconnect. Concurrency Computation: Practice and Experience
, 2004
"... The list of applications requiring high performance computing resources is constantly growing. The cost of interprocessor communication is critical in determining the performance of massively parallel computing systems for many of these applications. This paper considers the feasibility of a commod ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
The list of applications requiring high performance computing resources is constantly growing. The cost of interprocessor communication is critical in determining the performance of massively parallel computing systems for many of these applications. This paper considers the feasibility of a commodity processorbased system which uses a freespace optical interconnect. A novel architecture, based on this technology, is presented. Analytical and simulation results based on an implementation of BSP (Bulk Synchronous Parallelism) are presented, indicating that a significant performance enhancement, over architectures using conventional interconnect technology, is possible.
Model Checking of Security Protocols Composition du jury
"... Numéro attribué par la bibliothèque:............. ..."
(Show Context)
Verifying Functional Bulk Synchronous Parallel Programs Using the Coq System
, 2003
"... The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP) programming. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. We present the formal proofs of c ..."
Abstract
 Add to MetaCart
(Show Context)
The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP) programming. It is based on an extension of the #calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. We present the formal proofs of correctness of BSML programs in the Coq proof assistant. Such development demonstrates the usefulness of higherorder logic in the process of software certification and parallel applications. They also show that proof of rather complex parallel algorithms may be made with inductive types by using the certified programs.
Compositionality in Functional Bulk Synchronous Parallelism
, 2002
"... The BS# p calculus an extension of the #calculus by bulk synchronous parallel (BSP) operations on a parallel data structure named parallel vector. This paper presents how functional composition is preserved in this framework both from the semantics point of view and from the cost model point of ..."
Abstract
 Add to MetaCart
(Show Context)
The BS# p calculus an extension of the #calculus by bulk synchronous parallel (BSP) operations on a parallel data structure named parallel vector. This paper presents how functional composition is preserved in this framework both from the semantics point of view and from the cost model point of view.
c○SPRINGER VERLAG – Lecture Notes in Computer Science Parallel Juxtaposition for Bulk Synchronous Parallel ML
, 2003
"... The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. ..."
Abstract
 Add to MetaCart
The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml.
BSP Modelling of TwoTiered Parallel Architectures
, 1999
"... In recent years there has been a trend towards using standard workstation components to construct parallel computers, due to the enormous costs involved in designing and manufacturing specialpurpose hardware. In particular we can expect to see a large population of SMP clusters emerging in the next ..."
Abstract
 Add to MetaCart
In recent years there has been a trend towards using standard workstation components to construct parallel computers, due to the enormous costs involved in designing and manufacturing specialpurpose hardware. In particular we can expect to see a large population of SMP clusters emerging in the next few years. These are localarea networks of workstations, each containing around four parallel processors with a single shared memory. To use such machines effectively will be a major headache for programmers and compilerwriters. Here we consider how wellsuited the BSP model might be for these twotier architectures, and whether it would be useful to extend the model to allow for nonuniform communication behaviour. 1