11647 articles  [version française]
.:. Browse > List by subject > Computer Science .:.
1187 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Approches pour la gestion de configurations de sécurité dans les systèmes d'information distribués
Casalino M. M.
Université Claude Bernard - Lyon I (02/07/2014), Mohand-Saïd Hacid;Romuald Thion (Dir.) [tel-01058803 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Formal verification of a synchronous data-flow compiler : from Signal to C
Ngô V. C.
Université Rennes 1 (01/07/2014), Jean-Pierre Talpin (Dir.) [tel-01067477 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Extensions des automates d'arbres pour la vérification de systèmes à états infinis
Murat V.
Université Rennes 1 (26/06/2014), Thomas Genet (Dir.) [tel-01065696 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Énumération de polyominos définis en terme d'évitement de motif ou de contraintes de convexité
Battaglino D.
Université Nice Sophia Antipolis Università degli studi (Sienne, Italie) (26/06/2014), Jean-Marc Fédou;Simone Rinaldi (Dir.) [tel-01064960 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Contribution à l'élicitation des paramètres en optimisation multicritère
Aribi N.
Université Nice Sophia Antipolis Université d'Oran Es-Senia (Algérie) (25/06/2014), Jean-Charles Régin;Yahia Lebbah (Dir.) [tel-01065629 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Framework for ambient assistive living : handling dynamism and uncertainty in real time semantic services provisioning
Aloulou H.
Institut National des Télécommunications (25/06/2014), Mounir Mokhtari (Dir.) [tel-01048706 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Qualification et amélioration de la précision de systèmes de balayage laser mobiles par extraction d'arêtes
Poreba M.
Ecole Nationale Supérieure des Mines de Paris (18/06/2014), François Goulette (Dir.) [pastel-01068828 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management
Roy S.
Ecole normale supérieure de lyon - ENS LYON (18/06/2014), Paulo Gonçalvès (Dir.) [tel-01061418 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Certified Compilation and Worst-Case Execution Time Estimation
Oliveira Maroneze A.
Université Rennes 1 (17/06/2014), Sandrine Blazy;Isabelle Puaut (Dir.) [tel-01064869 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access On Forcing and Classical Realizability
Rieg L.
Ecole normale supérieure de lyon - ENS LYON (17/06/2014), Alexandre Miquel (Dir.) [tel-01061442 - version 1]
STAR - Dépôt national des thèses électroniques