Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Joëlle Delacroix"'
Autor:
Joëlle Delacroix
Redécouvrez tous les secrets de l'Histoire de France à travers les personnages ou épisodes marquants qui l'ont façonnée.Charlemagne était-il le premier Carolingien? Explorez l'histoire de cette dynastie en 20 portraits et événements aux côt
Autor:
Joëlle Delacroix, Alain Cazes
Cet ouvrage présente le fonctionnement d'un ordinateur au niveau matériel et au niveau système d'exploitation. L'ordinateur est ainsi étudié depuis son niveau le plus haut - celui du du langage de programmation et celui de l'interface du systèm
Autor:
Joëlle Delacroix
En l'année 888, Eudes, comte de Paris, est couronné roi de Francie Occidentale. Quelques années plus tôt, il a défendu la ville de Paris contre les terribles Vikings. A la nuit tombée, 700 drakkars sont apparus sous les murs de la ville. Amaury
Autor:
Alain Cazes, Joëlle Delacroix
Une application web manipule des fichiers qui sont écrits en langage HTML (les pages web). Ces pages sont stockées sur un serveur et sont exécutées par le navigateur web du client.Dans l'enseignement de l'informatique les aspects serveur, les asp
Publikováno v:
The 5th International Workshop on Verification and Evaluation of Computer and Communication Systems
The 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia
The 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia
International audience; SystemC is becoming a de facto standard for the system-level description of system-on-chip. However most formal verification techniques used for verifying hardware components targets low level design, usually netlist or RTL, b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1df8249fbbc4450a49dc361a10eddada
https://hal.archives-ouvertes.fr/hal-00672921
https://hal.archives-ouvertes.fr/hal-00672921
Publikováno v:
Scheduling in Real-Time Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da1f2f2cb3951b6c3f4d5efe59816e55
https://doi.org/10.1002/0470856343.ch4
https://doi.org/10.1002/0470856343.ch4
Publikováno v:
Scheduling in Real-Time Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dbd1876059a9e8a1944ee3466a0d39e5
https://doi.org/10.1002/0470856343.ch3
https://doi.org/10.1002/0470856343.ch3
Publikováno v:
Scheduling in Real-Time Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8b9a5ee35dc37f557f1f25ca9285a7a
https://doi.org/10.1002/0470856343.ch6
https://doi.org/10.1002/0470856343.ch6
Publikováno v:
Scheduling in Real-Time Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::241b9f8cff58ca07ebf912fed9dcb05c
https://doi.org/10.1002/0470856343.ch7
https://doi.org/10.1002/0470856343.ch7
Publikováno v:
Scheduling in Real-Time Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::558408ffce76a6abdb8a75a2c231cf67
https://doi.org/10.1002/0470856343.ch2
https://doi.org/10.1002/0470856343.ch2