2406 articles – 24 references  [version française]
.:. Browse > List by subject > Computer Science .:.
535 documents ordered by :
First Previous ... 3 - 4 - 5 - 6 - 7 - 8 - 9 ... Next Last
fulltext access Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système.
Poulhiès M.
Université de Grenoble (05/03/2010), Joseph Sifakis (Dir.) [tel-00514504 - version 1]
fulltext access Contribution à l'analyse de testabilité des systèmes réactifs temps-réel : Aide à la validation et à la vérification de systèmes
Doumbia F.
Université Joseph-Fourier - Grenoble I (02/03/2010), Chantal Robach (Dir.) [tel-00481072 - version 1]
fulltext access Vers une modélisation statistique multi-niveau du langage, application aux langues peu dotées
Seng S.
Université de Grenoble (01/03/2010), Laurent Besacier (Dir.) [tel-00646236 - version 1]
fulltext access Test automatique de programmes Lustre/SCADE
Papailiopoulou V.
Université Joseph-Fourier - Grenoble I (04/02/2010), Farid Ouabdesselam, Ioannis Parissis (Dir.) [tel-00454409 - version 1]
fulltext access Mobilité et sensibilité au contexte pour la gestion de documments multimédias personnels : CoMMediA
Viana De Carvalho W.
Université Joseph-Fourier - Grenoble I (02/02/2010), Martin Hervé (Dir.) [tel-00499550 - version 1]
fulltext access Dimensionnement et intégration d'un chiffre symétrique dans le contexte d'un système d'information distribué de grande taille.
Roche T.
Université Joseph-Fourier - Grenoble I (29/01/2010), Roland Gillard (Dir.) [tel-00452399 - version 1]
fulltext access Bisimulations dans les calculs avec passivation
Lenglet S.
Université Joseph-Fourier - Grenoble I (15/01/2010), Jean-Bernard Stefani (Dir.) [tel-00447857 - version 1]
fulltext access Routages optimaux : tours, flots et chemins.
Naves G.
Université Joseph-Fourier - Grenoble I (11/01/2010), András Sebő (Dir.) [tel-00465585 - version 1]
fulltext access Des systèmes de TA homogènes aux systèmes de TAO hétérogènes
Nguyen H.-T.
Université Joseph-Fourier - Grenoble I (18/12/2009), Christian Boitet (Dir.) [tel-00447571 - version 1]
fulltext access Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides
Derbel H.
Université Joseph-Fourier - Grenoble I (18/12/2009), Hassane Alla (Dir.) [tel-00445949 - version 1]