Ressource pédagogique : Méthodes d’analyse statique de pire temps d’exécution de programmes
L?intégrité d?un système physique interagissant avec son milieu n?est garantie que si certaines contraintes de temps sont respectées. Connaître le pire temps d?exécution d?un programme permet d?offrir cette garantie....
Mots-clés :
cours / présentation, démonstration - Date de création : 03-05-2005
Présentation de: Méthodes d’analyse statique de pire temps d’exécution de programmes
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Description de la ressource pédagogique
Description (résumé)
L?intégrité d?un système physique interagissant avec son milieu n?est garantie que si certaines contraintes de temps sont respectées. Connaître le pire temps d?exécution d?un programme permet d?offrir cette garantie.
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (004.36)
Thème(s)
Informations pédagogiques
Informations techniques sur cette ressource pédagogique
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Marie-Hélène Comte
Editeur(s)
-
Institut National de Recherche en Informatique et en Automatique / Interstices
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Alexis Arnaud
INRIA -
Isabelle Puaut
Université Rennes 1
ÉDITION
Institut National de Recherche en Informatique et en Automatique / Interstices
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-4421 -
Identifiant
unit-ori-wf-1-4421 -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
17-11-2005
