5 résultats : système temps réel

Recherche en cours

Par mots-clef = système temps réel

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

5 résultats

page 1 sur 1

résultats 1 à 5

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

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

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

Ajouter à mon panier

Accéder au document

Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3

Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à ...

Mots clés : synchronisation, systèmes temps-réels

Date : 15-01-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3

Ajouter à mon panier

Accéder aux documents

Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3

Mots clés : synchronisation, systèmes temps-réels

Date : 22-01-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3

Ajouter à mon panier

Accéder aux documents

Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle

Mots clés : synchronisation, systèmes temps-réels

Date : 29-01-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle

Ajouter à mon panier

Accéder aux documents

Systèmes temps-réel et systèmes embarqués

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 ...

Mots clés : architecture ordinateur, système exploitation, système temps réel, système embarqué, linux, fuscia

Date : 15-02-2008

Droits : Ce cours est diffusé sous licence Creative Common "Paternité Pas d'Utilisation Commerciale Partage des Conditions Initiales à l'Identique", ce qui signifie que vous pouvez communiquer, reproduire, distribuer cette œuvre au public à condition de citer l'auteur avec interdiction de l'utiliser à des ...

Systèmes temps-réel et systèmes embarqués

Ajouter à mon panier

Accéder au document

Rebondir