Conference paper

TSPP methodology for producing parallel probabilistic algorithms from specifications

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.

    Keywords: Conform


    • LGL-CONF-1994-019

    Record created on 2005-09-20, modified on 2016-08-08

Related material