Peer-to-Peer Branch-and-Bound algorithms for computational grids
FR
Spatio-temporal datamining applied to trajectories in a network / Fouille de données spatio-temporelles appliquée aux tr...
Ces dernières années ont vu le développement des techniques de fouille de données dans de nombreux domaines d applications dans le but d analyser des données volumineuses et complexes. Parallèlement, le déploiement croissant de systèmes de localisation, tels que le GPS, amène à produire des masses de données relatives aux traces de géolocalisation....
Parallélisation, déploiement et adaptation automatique de la simulation électromagnétique sur une grille de calcul
FR
Techniques de gestion des défaillances dans les grilles informatiques tolérantes aux fautes
The construction of grid computing is one of the major research on networked computer systems. The main construction of a grid computing is to provide the concepts and system software components suitable to aggregate computing resources (processors, memory , and also network) within a grid of data processing for make (eventually) a global IT infras...
Research on key techniques in passive optical networks and optical grid applications
The bandwidth-intensive applications, such as interactive video and multimedia services, have further increased the demand of bandwidth. Thus wavelength division multiplexing passive optical network (WDM-PON) is viewed as a promising candidate to realize the next generation optical access networks due to its dedicated bandwidth for each subscriber ...
Exploitation efficace des architectures parallèles de type grappes de NUMA à l'aide de modèles hybrides de programmation...
FR
Preuves d'algorithmes distribués par ra nement
FR
Contribution à l étude de réseaux optiques passifs et application aux grilles informatiques
FR
Méthode de découverte de sources de données tenant compte de la sémantique en environnement de grille de données
FR
Preuves d'algorithmes distribués par ra nement
Dans cette thèse, nous avons étudié et développé un environnement de preuve pour les algorithmes distribués. Nous avons choisi de combiner d une part l approche "correct-par-construction" basée sur la méthode "B évènementielle" et d autre part les calculs locaux comme un outil de codage et de preuve d algorithmes distribués. Ainsi, nous avons propo...
