1
ressource :
PUAUT ISABELLE
Rechercher
Aide
Recherche avancée
Recherche en cours
Par auteur
=
PUAUT ISABELLE
1
1
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
page 1
sur 1
résultats
1 à 1
Méthodes d’analyse statique de pire temps d’exécution de programmes
Description
:
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
:
contrainte, pire temps d'exécution, graphe de flot de contrôle, système temps réel, analyse statique, fuscia
Date
:
03-05-2005
Format
:
Document HTML
Auteur
:
Arnaud Alexis, Puaut Isabelle
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Droits
:
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
1