ANALYSE STATIQUE DE LOGICIELS MULTITÂCHES PAR INTERPRÉTATION ABSTRAITE
Le but de cette thèse est de présenter une analyse statique générique pour des programmes multitâche écrits en Java.<br />Les programmes multitâche exécutent plusieurs tâches en parallèle. Ces tâches communiquent implicitement par le biais de la mémoire partagée et elles se synchonisent sur de...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00417502 http://tel.archives-ouvertes.fr/docs/00/41/75/02/PDF/09_PhDThesis.pdf http://tel.archives-ouvertes.fr/docs/00/41/75/02/ANNEX/09_PhDDefense.pdf |