9865 articles  [english version]
.:. Consultation > Liste par domaine > Informatique .:.
977 documents classés par :
Première Page Page Précédente ... 7 - 8 - 9 - 10 - 11 - 12 - 13 ... Page Suivante Page Finale
fulltext access A symbolic approach for the verification and the test of service choreographies
Nguyễn H. N. (.GN.
Université Paris Sud - Paris XI (31/10/2013), Fatiha Zaïdi;Pascal Poizat (Dir.) [tel-00961450 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access From dataflow-based video coding tools to dedicated embedded multi-core platforms
Yviquel H.
Université Rennes 1 (25/10/2013), Emmanuel Casseau;Mickaël Raulet (Dir.) [tel-00939346 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Autonomie et reconfiguration des systèmes de systèmes tactiques
Ludwig M.
Université de Bretagne occidentale - Brest (24/10/2013), Jean-Philippe Babau (Dir.) [tel-00965813 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Specification and verification of quantitative properties : expressions, logics, and automata
Monmège B.
École normale supérieure de Cachan - ENS Cachan (24/10/2013), Paul Gastin (Dir.) [tel-00957763 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Phronesis, a diagnosis and recovery tool for system administrators
Haen C.
Université Blaise Pascal - Clermont-Ferrand II (24/10/2013), Vincent Barra (Dir.) [tel-00950700 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Distribution et stockage dans les réseaux
Modrzejewski R.
Université Nice Sophia Antipolis (24/10/2013), Jean-Claude Bermond (Dir.) [tel-00917032 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Etude et modélisation du comportement des gouttelettes de produits phytosanitaires sur les feuilles de vignes par imagerie ultra-rapide et analyse de texture
Decourselle T.
Université de Bourgogne (23/10/2013), Fan Yang;Ludovic Journaux (Dir.) [tel-00949360 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Bayesian and Quasi-Monte Carlo spherical integration for global illumination
Marques R.
Université Rennes 1 (22/10/2013), Kadi Bouatouch (Dir.) [tel-00979655 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Détection automatique de chutes de personnes basée sur des descripteurs spatio-temporels : définition de la méthode, évaluation des performances et implantation temps-réel
Charfi I.
Université de Bourgogne Université de Monastir (Tunisie) (21/10/2013), Johel Mitéran;Rached Tourki;Julien Dubois (Dir.) [tel-00959850 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Méthodes variationnelles pour la segmentation d'images à partir de modèles : applications en imagerie médicale
Prevost R.
Université Paris Dauphine - Paris IX (21/10/2013), Laurent David Cohen (Dir.) [tel-00932995 - version 2]
STAR - Dépôt national des thèses électroniques