Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
système temps réel
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
5
résultats
section 1
sur 1
résultats
1 à 5
Canal-u.fr
Esterel et SCADE (3/3), Urgences scientifiques posées par l?industrie: masquages d?horloges, circuits multi-horloges, ECOs et vérification formelle
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 à la ...
Date
:
29-01-2014
Description complète
Esterel et SCADE (3/3), Urgences scientifiques posées par l?industrie: masquages d?horloges, circuits multi-horloges, ECOs et vérification formelle
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
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 à la ...
Date
:
15-01-2014
Description complète
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
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
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 à la ...
Date
:
22-01-2014
Description complète
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
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
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.
Date
:
03-05-2005
Description complète
Méthodes d?analyse statique de pire temps d?exécution de programmes
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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'exploitatio ...
Date
:
15-02-2008
Description complète
Systèmes temps-réel et systèmes embarqués
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Afficher section
2
sur 1