GEOTRUST SSL CERTIFICATE
Résultat de la recherche
25 recherche sur le mot-clé 'temps réel (informatique)'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Le temps réel industriel est situé parmi les divers programmes informatiques. L'ouvrage recense, explique ses mécanismes. Il détaille une implémentation de système d'exploitation industriel actuel et il développe des exemples de mise en oeuvre p[...]![]()
texte imprimé
Une étude des mécanismes fondamentaux fréquemment rencontrés dans le contrôle de processus temps réel. Une 1re partie développe les concepts de base (tel l'usage des interruptions électroniques) et des algorithmes de gestion de processus associé[...]![]()
texte imprimé
Destiné aux informaticiens novices en matière de temps réel, cet ouvrage a pour objectif de leur expliquer les notions sous-jacentes au temps réel et de leur présenter les mécanismes fondamentaux à mettre en oeuvre dans un système pour lui perme[...]![]()
texte imprimé
Guy Juanole, Metteur en scène, réalisateur ; Robert Valette, Metteur en scène, réalisateur ; François Vernadat, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Contient 11 communications sélectionnées parmi les 30 présentées à MSR'2001, troisième colloque francophone sur la modélisation des systèmes réactifs, qui s'est tenu à Toulouse du 17 au 19 octobre 2001. Ce colloque se situe dans les domaines de [...]![]()
texte imprimé
Définit la démarche d'adéquation algorithme architecture, qui, partant d'un algorithme conduit aux différentes implantations en temps réel possibles, programmées ou câblées, et/ou inversement partant d'une architecture donnée conduit à une vari[...]![]()
texte imprimé
MODÉLISATION DES SYSTÈMES RÉACTIFS (2001), Auteur | Paris : Hermès science publications | Intelligence artificielle | 1999Rassemble, sur le thème de la modélisation et de la validation des systèmes réactifs (qu'ils soient appelés systèmes à événements discrets, systèmes temps réel ou systèmes réactifs), un ensemble de chercheurs, d'informaticiens et d'automaticiens[...]![]()
texte imprimé
MODÉLISATION DES SYSTÈMES RÉACTIFS (2001), Auteur ; Guy Juanole, Metteur en scène, réalisateur ; Robert Valette, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Le programme consiste en 10 sessions portant sur les thèmes suivants : synthèse des contrôleurs, télécommunication, systèmes hybrides, approche synchrone, validation temporelle, ordonnancement et réseaux de Petri, supervision, etc.![]()
texte imprimé
Résolution de problèmes d'ordonnancement de tâches indépendantes et de partage de ressources entre tâches avec contraintes de précédence. Examen des conséquences temporelles dues à des perturbations non contrôlables (surcharges, variation des pa[...]![]()
texte imprimé
![]()
texte imprimé
Luigi Zaffalon, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Informatique | 2005Cet ouvrage didactique décrit le langage Esterel et les SyncCharts avec de nombreux exemples, ainsi que la compilation vers les cibles logicielles ou matérielles (VHDL).