Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas
La recherche d'une borne supérieure au temps d'exécution d'un programme est une partie essentielle du processus de vérification de systèmes temps-réel critiques. Les programmes de tels systèmes ont généralement des temps d'exécution variables et il est difficile, voire impossible...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017TOU30285/document |