Skip to Main content Skip to Navigation
Conference papers

An experiment in parallelizing an application using formal methods

Raphaël Couturier 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Les scientifiques ont développé beaucoup de codes séquentiels en utilisant des langages comme le FORTRAN et les machines parallèles peuvent leur permettre d'améliorer leurs résultats. Cependant la parallélisation de code séquentiel n'est pas aisée. Notre
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00098540
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:03:13 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00098540, version 1

Collections

Citation

Raphaël Couturier, Dominique Méry. An experiment in parallelizing an application using formal methods. International Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p. ⟨inria-00098540⟩

Share

Metrics

Record views

84