Titre :	Aide à la conception des systèmes multiprocesseurs mono-puce à partir de spécification de haut niveau
Type de document :	texte imprimé
Auteurs :	Fateh Boutekkouk ; Univ. de Constantine, Éditeur scientifique ; Mohamed Benmohammed, Directeur de thèse
Année de publication :	2010
Importance :	183 f.
Note générale :	01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Catégories :	Français - Anglais Informatique
Tags :	Simulation  Logique de réécriture  Vérification formelle  MPSOC  systèmes embarqués UML  Maude  système C  Architectures reconfigurables
Index. décimale :	004 Traitement de données. Informatique
Diplôme :	Doctorat en sciences
En ligne :	../theses/informatique/BOU5625.pdf
Permalink :	index.php?lvl=notice_display&id=321

Aide à la conception des systèmes multiprocesseurs mono-puce à partir de spécification de haut niveau [texte imprimé] / Fateh Boutekkouk ; Univ. de Constantine, Éditeur scientifique ; Mohamed Benmohammed, Directeur de thèse . - 2010 . - 183 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD

Catégories :	Français - Anglais Informatique
Tags :	Simulation  Logique de réécriture  Vérification formelle  MPSOC  systèmes embarqués UML  Maude  système C  Architectures reconfigurables
Index. décimale :	004 Traitement de données. Informatique
Diplôme :	Doctorat en sciences
En ligne :	../theses/informatique/BOU5625.pdf
Permalink :	index.php?lvl=notice_display&id=321