TSPP methodology for producing parallel probabilistic algorithms from specifications
Rolim, José; Urland, Erik; Buffo, Mathieu; Buchs, Didier
1994

Files

Abstract

The general aim of the project is to give a framework to a designer of parallel algorithms for defining abstractly a problem, finding a first parallel solution which may not be the most efficient one, and refining the solution by exploitingmassive parallelism and probabilistic features.

Details

Title TSPP methodology for producing parallel probabilistic algorithms from specifications
Author(s) Rolim, José ; Urland, Erik ; Buffo, Mathieu ; Buchs, Didier
Published in Proceedings of the SPP conference'94
Editor(s)
Conference SPP Zurich
Date 1994
Publisher FNRS
Keywords
Laboratories LGL
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Record creation date 2005-09-20

Actions