Systèmes temps réel. :: SCD d'Orléans

Systèmes temps réel. Techniques de description et de vérification

Systèmes temps réel. 1, Techniques de description et de vérification

Guardat en:

Dades bibliogràfiques
Autor principal:	Navet, Nicolas, 19..-
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Hermes science publ. : Lavoisier C 2006.
Col·lecció:	Traité IC2 : information-commande-communication. Informatique et systèmes d'information
Matèries:	Ingénierie des systèmes Ordonnancement (gestion) Temps réel (informatique)
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Techniques de description et de vérification

Ítems similars

Systèmes temps réel. Ordonnancement, réseaux et qualité de service
per: Navet, Nicolas, 19..-
Publicat: (2006)

Ordonnancement temps réel : cours et exercices corrigés
per: Cottet, Francis, et al.
Publicat: (2000)

Energy autonomy
per: Chetto, Maryline, 1959-, et al.
Publicat: (2016)

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
per: Cottet, Francis, et al.
Publicat: (2014)

Systèmes temps réel de contrôle-commande : conception et implémentation
per: Cottet, Francis, et al.
Publicat: (2005)

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
per: Cottet, Francis, et al.
Publicat: (2014)

Systèmes temps réel autonomes en énergie
per: Chetto, Maryline, 1959-, et al.
Publicat: (2017)

Just-in-Time systems
per: Rios, Roger

Spécification et conception des systèmes temps réel
per: Biancolin, Jean-André
Publicat: (1995)

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
per: Grolleau, Emmanuel, 1973-, et al.
Publicat: (2018)

Ordonnancement en temps réel
per: Pouget, Jean-Pierre, 1945-
Publicat: (1984)

Dynamic Reconfiguration in Real-Time Systems : Energy, Performance, and Thermal Perspectives
per: Wang, Weixun, et al.
Publicat: (2013)

Temps réel
Publicat: (2003)

Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
per: Grolleau, Emmanuel, 1973-, et al.
Publicat: (2018)

Approche du temps réel industriel
per: De Geeter, Jean-Marie
Publicat: (1999)

Synthesizing synchronous systems by static scheduling in space-time
per: Lisper, Björn

Dispositifs de commande en temps réel
per: Toulotte, Jean-Marc
Publicat: (1975)

Solutions temps réel sous Linux
per: Blaess, Christophe
Publicat: (2019)

Gestion des processus industriels temps réel : des interruptions électroniques aux exécutifs multitâches
per: Montois, Jean-Jacques, ingénieur
Publicat: (1999)

L'informatique et les systèmes
per: Dupuy, Roger, 19..-...., informaticien
Publicat: (1972)

Recent advances in control and optimization of manufacturing systems
per: Yin, George, 1954-

CIM et temps réel
per: Brenier, Henri, 19..-...., ingénieur
Publicat: (1992)

Solutions en temps réel sous Linux
per: Blaess, Christophe
Publicat: (2019)

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Conception et modélisation objet des systèmes temps réel
per: Bui, Minh Duc, 19..-
Publicat: (1998)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
per: Bernardo, Marco

Specification and compositional verification of real-time systems
per: Hooman, Jozef, 19..-

Les systèmes multi-agents et le temps réel
per: Attoui, Ammar
Publicat: (1997)

Programmation concurrente et temps réel avec ADA 95
per: Zaffalon, Luigi, et al.
Publicat: (1999)

RTS 2002 embedded systems : [Actes des conférences, 26-27-28 mars 2002, Paris]
Publicat: (2002)

Les systèmes de production modernes. outils et corrigés des exercices
per: Dolgui, Alexandre, 1961-...., enseignant-chercheur en informatique, et al.
Publicat: (2006)

Les systèmes de production modernes. conception, gestion et optimisation
per: Dolgui, Alexandre, 1961-...., enseignant-chercheur en informatique, et al.
Publicat: (2006)

Job scheduling strategies for parallel processing : IPPS/SPDP' 98 Workshop Orlando, Florida, USA, March 30, 1998 : proceedings

Job scheduling strategies for parallel processing : IPPS '95 workshop, Santa Barbara, CA, USA, April 1995 : proceedings

Job scheduling strategies for parallel processing : IPDPS 2000 workshop, [6th workshop] JSSPP 2000, Cancun, Mexico, May 1, 2000 : proceedings

Real time control of large scale systems : proceedings of the first European workshop, University of Patras, Greece, July 9-12, 1984

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

Méthodes modernes d'ordonnancement : graphes et chemin critique
per: Battersby, Albert, 19..-
Publicat: (1967)

MicroC/OS-II : the real-time Kernel
per: Labrosse, Jean J.
Publicat: (2002)

Real-time systems' quality of service : Introducing quality of service considerations in the life-cycle of real-time systems
per: Gumzej, Roman, et al.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales