Titre :	Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel
Auteurs :	Abdesslem Layeb ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse
Année de publication :	2010
Importance :	208 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 :	Optimisation  Diagramme de décision binaire  SAT  MAX-SAT  Algorithmes évolutionnaires quantiques  Recherche locale  Approches exactes  Approches hybrides
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/LaY5771.pdf
Permalink :	index.php?lvl=notice_display&id=323

Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel [] / Abdesslem Layeb ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2010 . - 208 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 :	Optimisation  Diagramme de décision binaire  SAT  MAX-SAT  Algorithmes évolutionnaires quantiques  Recherche locale  Approches exactes  Approches hybrides
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/LaY5771.pdf
Permalink :	index.php?lvl=notice_display&id=323