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
Type de document :
Communication dans un congrès
Hu, Alan and Vardi, Moshe. International Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p, 1998, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00098540
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:13
Dernière modification le : mardi 24 avril 2018 - 13:34:56

Identifiants

  • HAL Id : inria-00098540, version 1

Collections

Citation

Raphaël Couturier, Dominique Méry. An experiment in parallelizing an application using formal methods. Hu, Alan and Vardi, Moshe. International Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p, 1998, Lecture Notes in Computer Science. 〈inria-00098540〉

Partager

Métriques

Consultations de la notice

41