Skip to Main content Skip to Navigation
Journal articles

Méthodes d'analyse statique de pire temps d'exécution de programmes

Isabelle Puaut 1 Alexis Arnaud 1
1 CAPS - Compilation, parallel architectures and system
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Pour de nombreux systèmes physiques interagissant avec leur milieu extérieur, l'intégrité du système n'est garantie que si certaines contraintes de temps sont strictement respectées. Connaître le pire temps d'exécution d'un programme est une manière - pessimiste mais sûre - d'offrir une telle garantie.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00000958
Contributor : Isabelle Puaut <>
Submitted on : Tuesday, December 20, 2005 - 4:19:18 PM
Last modification on : Tuesday, November 17, 2020 - 12:38:04 PM

Identifiers

  • HAL Id : inria-00000958, version 1

Citation

Isabelle Puaut, Alexis Arnaud. Méthodes d'analyse statique de pire temps d'exécution de programmes. Interstices, INRIA, 2005. ⟨inria-00000958⟩

Share

Metrics

Record views

276