Ressource pédagogique : Méthodes d’analyse statique de pire temps d’exécution de programmes

Accédez à la ressource pédagogique Méthodes d’analyse statique de pire temps d’exécution de programmes
Mots-clés :
Accéder à la ressource pédagogiqueDroits d'accès : non autorisé
cours / présentation, démonstration - Date de création : 03-05-2005
Auteur(s) : Alexis Arnaud, Isabelle Puaut
Partagez !

Présentation de: Méthodes d’analyse statique de pire temps d’exécution de programmes

Informations pratiques sur cette ressource

Langue du document : 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 d'auteur : 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

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

      Éditeur(s)

      Diffusion

      Partagez !

      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
        oai:www.unit.eu:unit-ori-wf-1-4421
      • Statut de la fiche
        final
      • Schéma de la métadonnée
      • Entrepôt d'origine
        UNIT
      • Date de publication
        17-11-2005