Méthodes d'analyse statique de pire temps d'exécution de programmes - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue Interstices Année : 2005

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

Isabelle Puaut
Compilation, parallel architectures and system
Alexis Arnaud
  • Fonction : Auteur
Compilation, parallel architectures and system

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.

Domaines

Informatique [cs]

Isabelle Puaut  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00000958

Soumis le : mardi 20 décembre 2005-16:19:18

Dernière modification le : vendredi 24 mars 2023-14:52:47

Fichier non déposé

Dates et versions

inria-00000958 , version 1 (20-12-2005)

Identifiants

  • HAL Id : inria-00000958 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA INRIA-MECSCI INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
83 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More