An experiment in parallelizing an application using formal methods - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 1998

An experiment in parallelizing an application using formal methods

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

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00098540 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098540 , version 1

Citer

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⟩
39 Consultations
0 Téléchargements

Partager

More