• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 130
  • 26
  • 9
  • 5
  • Tagged with
  • 169
  • 67
  • 48
  • 32
  • 31
  • 27
  • 26
  • 26
  • 22
  • 20
  • 16
  • 16
  • 16
  • 15
  • 14
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

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.
12

Transformations de programmes pour l'amélioration de performance

Bodin, François January 1997 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1997. / Bibliogr. p.109-114.
13

Optimisation de la localité spatiale des données temporelles et multiversions

Jouini, Khaled Jomier, Geneviève. January 2008 (has links)
Thèse de doctorat : Sciences. Informatique : Université Paris-Dauphine : 2008. / bibliogr.77 ref.
14

Analyse de la complexité des programmes par interprétation sémantique

Péchoux, Romain Marion, Jean-Yves. January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre.
15

Méthodologie de conception d'architectures de processeur sûres de fonctionnement pour les applications mécatroniques

Jallouli, Medhi Monteiro, Fabrice. January 2009 (has links) (PDF)
Thèse de doctorat : Electronique : Metz : 2009. / Titre provenant de l'écran-titre. Notes bibliogr.
16

RTL-Check : a practical static analysis framework to verify memory safety and more

Lacroix, Patrice. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.
17

Algorithmes et architectures pour ordinateurs quantiques supraconducteurs

Blais, 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.
18

Calcul quantique universel sur qubits supraconducteurs

Blais, 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.
19

Détection d'intrusions et analyse passive de réseaux

Couture, Mathieu. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2005. / Titre de l'écran-titre (visionné le 28 novembre 2005). Bibliogr.
20

Conception et réalisation d'un automate programmable pour visualisation.

Rech, Marie-Christine, January 1900 (has links)
Th. doct.-ing.--Électronique--Toulouse--I.N.P., 1984. N°: 337.

Page generated in 0.0545 seconds