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 metadatas

https://hal.inria.fr/inria-00098540
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:13 PM
Last modification on : Thursday, September 19, 2019 - 5:00:04 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

63