Progressive generation of parallel solutions for formally specified problems
1994
Details
Title
Progressive generation of parallel solutions for formally specified problems
Author(s)
Buffo, Mathieu ; Urland, Erik ; Rolim, José ; Buchs, Didier
Published in
Proceedings of the International Workshop on Parallel Processing'94, December 1994
Conference
IEEE, Bangalore
Date
1994
Publisher
McGraw Hill
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
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20