Spelling suggestions: "subject:"ordinateurs"" "subject:"dordinateurs""
11 |
Validation temporelle de réseaux embarqués critiques et fiables pour l'automobilesGodary, Karen Mignotte, Anne. Augé-Blum, Isabelle. January 2005 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2004. / Titre provenant de l'écran-titre. Bibliogr. p. 159-165. Publications de l'auteur p. 167-168.
|
12 |
Algorithmique parallèle pour les machines à mémoire distribuée application aux algorithmes matriciels /Tourancheau, Bernard. Cosnard, Michel Verjus, Jean-Pierre. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 151-159.
|
13 |
Transformations de programmes pour l'amélioration de performanceBodin, François January 1997 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1997. / Bibliogr. p.109-114.
|
14 |
Optimisation de la localité spatiale des données temporelles et multiversionsJouini, Khaled Jomier, Geneviève. January 2008 (has links)
Thèse de doctorat : Sciences. Informatique : Université Paris-Dauphine : 2008. / bibliogr.77 ref.
|
15 |
Analyse de la complexité des programmes par interprétation sémantiquePéchoux, Romain Marion, Jean-Yves. January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre.
|
16 |
Méthodologie de conception d'architectures de processeur sûres de fonctionnement pour les applications mécatroniquesJallouli, Medhi Monteiro, Fabrice. January 2009 (has links) (PDF)
Thèse de doctorat : Electronique : Metz : 2009. / Titre provenant de l'écran-titre. Notes bibliogr.
|
17 |
RTL-Check : a practical static analysis framework to verify memory safety and moreLacroix, Patrice. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.
|
18 |
Algorithmes et architectures pour ordinateurs quantiques supraconducteursBlais, Alexandre. January 2002 (has links)
Thèses (Ph.D.)--Université de Sherbrooke (Canada), 2002. / Titre de l'écran-titre (visionné le 17 juillet 2006). Publié aussi en version papier.
|
19 |
Calcul quantique universel sur qubits supraconducteursBlais, Alexandre. January 1999 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1999. / Titre de l'écran-titre (visionné le 20 juillet 2006). Publié aussi en version papier.
|
20 |
Détection d'intrusions et analyse passive de réseauxCouture, Mathieu. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2005. / Titre de l'écran-titre (visionné le 28 novembre 2005). Bibliogr.
|
Page generated in 0.2938 seconds