Extension paramétrée de compilateur certifié pour la programmation parallèle
Les applications informatiques sont de plus en plus présentes dans nos vies. Pour les applications critiques (médecine, transport, . . .), les conséquences d une erreur informatique ont un coût inacceptable, que ce soit sur le plan humain ou financier. Une des méthodes pour éviter la présence d erre...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , , , , , |
| Format: | Thèse numérique |
| Sprache: | Français |
| Veröffentlicht: |
2015.
|
| Schlagworte: | |
| Online Zugang: | Accès au texte intégral https://theses.univ-orleans.fr/public/2015ORLE2071_va.pdf http://www.theses.fr/2015ORLE2071/abes https://theses.hal.science/tel-01371936 |
| Anmerkung: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Jean-Michel Couvreur (Président du jury) ; Frédéric Loulergue, Jean-Michel Couvreur, Gaétan Hains, Ludovic Henrio, Frédéric Dabrowski, Pierre Courtieu (Membre(s) du jury) ; Gaétan Hains, Ludovic Henrio (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Parameterised extension of certified compiler for parallel programming |