 |
|
|
|
| Fiche détaillée | Thèses |
|
|
| Institut National Polytechnique de Grenoble - INPG (12/11/1992), Traian Muntean (Dir.) |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| Un système formel de transformation de programmes pour leur exécution sur machines parallèles |
|
|
| Xiaobo Yu1 |
|
|
|
| . |
|
|
|
|
|
|
|
|
|
| 1 : | IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble |
|
|
|
|
|
|
|
| programmation transformationnelle – programmation parallèle – système de transformation – lois algébrique de transformation – vérification formelle – placement de programmes – machines parallèles:mémoire distribuée |
| . |
| . |
| tel-00341778, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00341778 | |
| oai:tel.archives-ouvertes.fr:tel-00341778 | |
| Contributeur : Thèses Imag | |
| Soumis le : Mercredi 26 Novembre 2008, 08:27:20 | |
| Dernière modification le : Mercredi 26 Novembre 2008, 09:15:55 | |
