Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
Concevoir et implanter des programmes parallèles est une tâche complexe, sujette aux erreurs. La vérification des programmes parallèles est également plus difficile que celle des programmes séquentiels. Pour permettre le développement et la preuve de correction de programmes parallèles, nous proposo...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Thèse numérique |
| Langue: | Français |
| Publié: |
2011.
|
| Sujets: | |
| Accès en ligne: | Accès au texte intégral https://theses.univ-orleans.fr/public/2011ORLE2041_va.pdf http://www.theses.fr/2011ORLE2041/abes https://theses.hal.science/tel-00660554 |
| Note: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Sciences et technologies (Orléans ; 2009-2012) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire), Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) Autre(s) contribution(s) : Jacques Julliand (Président du jury) ; Frédéric Loulergue, Jacques Julliand, Marco Danelutto, David Cachera, Pascal Fradet, Jan-Georg Smaus, Pierre-Etienne Moreau (Membre(s) du jury) ; Marco Danelutto, David Cachera (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Environment for the systematic development and proof of correction of functional parallel programs |