Sommaire
cours / présentation, démonstration
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....
Date de création :
03.05.2005Auteur(s) :
Alexis Arnaud, Isabelle Puaut
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, démonstration
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 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
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
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)
Domaine(s)
- Informatique
- Mode de traitement des données: temps réel, en parallèle, distribués, …
- Informatique
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Marie-Hélène Comte
Édition
- Institut National de Recherche en Informatique et en Automatique / Interstices
Diffusion
Cette ressource vous est proposée par :
Fiche technique
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-4421
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-4421
Statut de la fiche : final
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
09.06.2010
Description
:
Dans cette vidéo, Albert Cohen montre les liens entre la science informatique et l'architecture des ordinateurs, donc leur conception. Il explique les outils logiciels permettant de profiter des performances des processeurs (du compilateur aux outils liés au système d'exploitation). Sur les proc ...
- architecture des ordinateurs
- système sur puce
- systeme de calcul
- système d'exploitation
- modèle de von Neumann
- machine
- fil d'exécution
- programme
- loi de Moore
- thread
15.02.2008
Description
:
Le cours "Systèmes temps-réels et systèmes embarqués" se décompose en quatre chapitres:
* le premier chapitre présente les éléments qui composent un ordinateur (les différents processeurs existants, la carte mère, la mémoire et les processus);
* le second chapitre aborde les systèmes d'exploitation ...
- architecture ordinateur
- système exploitation
- système temps réel
- système embarqué
- linux
- fuscia