Home

Historique de Main.HomePage

Montrer les modifications mineures - Affichage de la sortie

17 octobre 2017 à 20h33 par 193.50.104.100 -
Ligne 11 modifiée:
* '''Modélisation des réseaux distribués à grande échelle et de leur dynamisme''' : on a observé depuis quelques années que les réseaux (physiques et virtuels) réels présentent des propriétés topologiques qualitatives (petit monde, ...) très importante pour la conception des algorithmes. En revanche, on manque de modèles pertinents (c'est à dire à la fois dont les paramètres peuvent être instanciés facilement, qui conduit à des algorithmes polynomiaux pour les problèmes classiques et qui modélisent bien le réseau). Cette remarque est plus particulièrement valide dans le cas de la modélisation du dynamisme des ressources.
en:
* '''Modélisation des réseaux distribués à grande échelle et de leur dynamisme''' : on a observé depuis quelques années que les réseaux (physiques et virtuels) réels présentent des propriétés topologiques qualitatives (petit monde, ...) très importantes pour la conception des algorithmes. En revanche, on manque de modèles pertinents (c'est à dire  dont à la fois les paramètres peuvent être instanciés facilement, ce qui conduit à des algorithmes polynomiaux pour les problèmes classiques et qui modélisent bien le réseau). Cette remarque est plus particulièrement valide dans le cas de la modélisation du dynamisme des ressources.
Ligne 29 supprimée:
17 octobre 2017 à 20h31 par 193.50.104.100 -
Ligne 10 modifiée:
* ''' Algorithmique tolérant les perturbations''' : un système distribué est sujet à de fréquentes perturbations dues aux pannes franches ou transitoires, à la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques (wait-freedom, obstruction-freedom, self-stabilization, failure detector ... ).
en:
* ''' Algorithmique tolérant les perturbations''' : un système distribué est sujet à de fréquentes perturbations dues aux pannes franches ou transitoires, à la versatilité et la mobilité des entités. Nous nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques (wait-freedom, obstruction-freedom, self-stabilization, failure detector ... ).
17 octobre 2017 à 20h30 par 193.50.104.100 -
Ligne 9 modifiée:
* '''Etude de la fiabilité et de la caractérisation des algorithmes distribués''' : l'objectif est de prouver à l'aide d'assistant de preuve (tel Coq) que la spécification formelle des algorithmes est valide. Le modèle théorique sous-jacent est celui des calculs locaux développés au LaBRI depuis plusieurs années. 
en:
* '''Etude de la fiabilité et de la caractérisation des algorithmes distribués''' : l'objectif est de prouver à l'aide d'assistant de preuve (tel Coq) que la spécification formelle des algorithmes est valide. Le modèle théorique sous-jacent est celui des calculs locaux développé au LaBRI depuis plusieurs années. 
17 octobre 2017 à 20h29 par 193.50.104.100 -
Ligne 6 modifiée:
Le développement des réseaux et l'utilisation de plus en plus massive de terminaux peu fiables avec de faibles connectivités nécessite des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et  dont le comportement puisse être prouvé formellement.
en:
Le développement des réseaux et l'utilisation de plus en plus massive de terminaux peu fiables avec de faibles connectivités nécessitent des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et  dont le comportement puisse être prouvé formellement.
17 octobre 2017 à 20h29 par 193.50.104.100 -
Ligne 6 modifiée:
Le développement des réseaux et l'utilisation de plus en plus massives de terminaux peu fiables avec de faibles connectivités nécessite des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et  dont le comportement puisse être prouvé formellement.
en:
Le développement des réseaux et l'utilisation de plus en plus massive de terminaux peu fiables avec de faibles connectivités nécessite des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et  dont le comportement puisse être prouvé formellement.
17 octobre 2017 à 20h29 par 193.50.104.100 -
Ligne 6 modifiée:
Le développement des réseaux, l'utilisation de plus en plus massives de terminaux peu fiables avec de faibles connectivités nécessite des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et  dont le comportement puisse être prouvé formellement.
en:
Le développement des réseaux et l'utilisation de plus en plus massives de terminaux peu fiables avec de faibles connectivités nécessite des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et  dont le comportement puisse être prouvé formellement.
13 juin 2017 à 12h10 par 2001:660:6101:403::1:116 -
Ligne 27 supprimée:
The English version is not yet available.
13 juin 2017 à 12h10 par 2001:660:6101:403::1:116 -
Lignes 18-26 ajoutées:

The large use, in ourdays, of networks of small unreliable devices with unreliable connectivity needs researchs for the design of reliable, scalable and safe distributed algorithms.

* '''Reliability of distributed algorithms''': using local computations paradigm (a model defined in LaBRI), we aim to prove formally (using Coq for example) that the formal specification of the algorithms is valid.
* '''Fault-tolerant algorithmes''': distributed systems are increasingly subject to disturbances due to permanent and/or transient failures of nodes and to their mobility. We are interested on the design of fault-tolerant algorithms. This include paradigms like wait-freedom, obstruction-freedom, self-stabilization, failure detector ... .
* '''Models for huge and highly dynamic distributed networks''': we are wistening, in few last years, the emergence of topological properties that describe the aspects of physical and virtual networks (small-world phenomena, ...). Unfortunately, there is a lack of efficient models which can capture these properties and which can be easily used to design polynomial distributed algorithms to solve classical problems.
*'''Distributed big data''':  this theme aims to design virtual peer to peer networks and routing algorithms. It also develop efficient requests execution (exploration, cartography, rendez-vous, ...) using mobile agents, broadcasting and distributed computing in large dynamic networks. We design high speed solutions using small amount of memory, and try to ensure, as far as possible, a performances comparable to that of centralized solutions.
*'''Local computation''': this axis aims to provide tools to encode, study and teach distributed algorithms. We are mainly interested on classical problems like election, numbering, spanning tree computation, termination detection, consensus ... The power of the tools are studied depending on the computation rules which are used and on the initial knowledge of the nodes in the system.
* '''Randomized distributed algorithms''': under some particular hypotheses (anonymous networks, ...), there is no deterministic solution to solve some classical problems from distributed algorithms theory (election, colouring, ...). Randomized algorithms can be used to solve efficiently such problems. These algorithms may be simple to design, however, their analysis is more challenging and needs the use of sophisticated  methods from combinatorics, algorithms analysis, ... We are particularly interested on the design of optimal solutions from bit complexity point of view.
05 janvier 2016 à 10h25 par 147.210.129.171 -
Ligne 19 modifiée:
The English version is not yet available. You may try to feed an automatic translator with the French version.
en:
The English version is not yet available.
25 octobre 2012 à 17h02 par 147.210.8.115 -
Ligne 10 modifiée:
* ''' Algorithmique tolérant les perturbations''' : un système distribué est sujet à de fréquentes perturbations dues aux pannes franches ou transitoires, à la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques (wait-freedom, obstruction-freedom,self-stabilization, failure detector ... ).
en:
* ''' Algorithmique tolérant les perturbations''' : un système distribué est sujet à de fréquentes perturbations dues aux pannes franches ou transitoires, à la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques (wait-freedom, obstruction-freedom, self-stabilization, failure detector ... ).
25 octobre 2012 à 17h01 par 147.210.8.115 -
Lignes 10-11 modifiées:
* ''' Algorithmique tolérant les perturbations ''' : un système distribué est sujet à de fréquentes perturbations dues aux pannes franches ou transitoires, à la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques (wait-freedom, obstruction-freedom,self-stabilization, failure detector ... ).
" : un système distribué est sujet à de fréquentes perturbations telles que des pannes franches ou transitoires, la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques : wait-freedom, obstruction-freedom,self-stabilization, failure detector ...
.
en:
* ''' Algorithmique tolérant les perturbations''' : un système distribué est sujet à de fréquentes perturbations dues aux pannes franches ou transitoires, à la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques (wait-freedom, obstruction-freedom,self-stabilization, failure detector ... ).
25 octobre 2012 à 17h00 par 147.210.8.115 -
Lignes 10-11 modifiées:
* ''' Algorithmique tolérant les perturbations ''' : un système distribué est sujet à de fréquentes perturbations telles que des pannes franches ou transitoires, la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques : wait-freedom, obstruction-freedom,self-stabilization, failure detector ... ." : un système distribué est sujet à de fréquentes perturbations telles que des pannes franches ou transitoires, la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques : wait-freedom, obstruction-freedom,self-stabilization, failure detector ... .
en:
* ''' Algorithmique tolérant les perturbations ''' : un système distribué est sujet à de fréquentes perturbations dues aux pannes franches ou transitoires, à la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques (wait-freedom, obstruction-freedom,self-stabilization, failure detector ... ).
" : un système distribué est sujet à de fréquentes perturbations telles que des pannes franches ou transitoires, la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques : wait-freedom, obstruction-freedom,self-stabilization, failure detector ... .
25 octobre 2012 à 16h58 par 147.210.8.115 -
Ligne 10 modifiée:
* '''Algorithmes tolérant les pannes temporaires ou définitives''' : de par la taille croissante des réseaux, il est primordial de considérer une grande variété de pannes et d'erreurs. Une des questions porte sur l'efficacité de la propriété de l'auto-stabilisation en fonction des types de pannes et d'erreurs.
en:
* ''' Algorithmique tolérant les perturbations ''' : un système distribué est sujet à de fréquentes perturbations telles que des pannes franches ou transitoires, la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques : wait-freedom, obstruction-freedom,self-stabilization, failure detector ... ." : un système distribué est sujet à de fréquentes perturbations telles que des pannes franches ou transitoires, la versatilité et la mobilité des entités. Nous intéressons à la conception d'algorithmes efficaces et tolérants les perturbations en utilisant diverses techniques : wait-freedom, obstruction-freedom,self-stabilization, failure detector ... .
Lignes 9-15 modifiées:
* '''Etude de la fiabilité et de la caractérisation des algorithmes distribués''': l'objectif est de prouver à l'aide d'assistant de preuve (tel Coq) que la spécification formelle des algorithmes est valide. Le modèle théorique sous-jacent est celui des calculs locaux développés au LaBRI depuis plusieurs années. 
* '''Algorithmes tolérant les pannes temporaires ou définitives''': de par la taille croissante des réseaux, il est primordial de considérer une grande variété de pannes et d'erreurs. Une des questions porte sur l'efficacité de la propriété de l'auto-stabilisation en fonction des types de pannes et d'erreurs.
* '''Modélisation des réseaux distribués à grande échelle et de leur dynamisme''': on a observé depuis quelques années que les réseaux (physiques et virtuels) réels présentent des propriétés topologiques qualitatives (petit monde, ...) très importante pour la conception des algorithmes. En revanche, on manque de modèles pertinents (c'est à dire à la fois dont les paramètres peuvent être instanciés facilement, qui conduit à des algorithmes polynomiaux pour les problèmes classiques et qui modélisent bien le réseau). Cette remarque est plus particulièrement valide dans le cas de la modélisation du dynamisme des ressources.
* '''Données massives distribuées''': ce thème porte sur la conception de réseaux virtuels pair à pair et d'algorithmes de routage, l'exécution de requêtes (exploration perpétuelle, cartographie, rendez-vous, ...) par agents mobiles, la diffusion et le calcul distribué sur de grands réseaux dynamiques. Les solutions envisagées doivent être légères en mémoire, rapides et garantir des performances - d'un point de vue théorique - de niveau comparable au cadre centralisé.
* '''Calculs locaux''': l'objectif est de fournir des outils permettant de coder, d'étudier et d'enseigner différents aspects de l'algorithmique distribuée. On s'intéresse plus particulièrement à certains problèmes comme : l'élection, le nommage, le calcul d'un arbre recouvrant, la détection de la terminaison, la synchronisation, le consensus ou bien la reconnaissance de certaines propriétés du réseau. Ces études sont faites d'une part en fonction des règles de calcul autorisées sur le réseau et d'autre part de la connaissance initiale ou de la configuration initiale du réseau.
* '''Algorithmes distribués probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche en particulier des solutions optimales du point de vue de la complexité en bits : nombre de bits échangés enter 2 sommets quelconques.
en:
* '''Etude de la fiabilité et de la caractérisation des algorithmes distribués''' : l'objectif est de prouver à l'aide d'assistant de preuve (tel Coq) que la spécification formelle des algorithmes est valide. Le modèle théorique sous-jacent est celui des calculs locaux développés au LaBRI depuis plusieurs années. 
* '''Algorithmes tolérant les pannes temporaires ou définitives''' : de par la taille croissante des réseaux, il est primordial de considérer une grande variété de pannes et d'erreurs. Une des questions porte sur l'efficacité de la propriété de l'auto-stabilisation en fonction des types de pannes et d'erreurs.
* '''Modélisation des réseaux distribués à grande échelle et de leur dynamisme''' : on a observé depuis quelques années que les réseaux (physiques et virtuels) réels présentent des propriétés topologiques qualitatives (petit monde, ...) très importante pour la conception des algorithmes. En revanche, on manque de modèles pertinents (c'est à dire à la fois dont les paramètres peuvent être instanciés facilement, qui conduit à des algorithmes polynomiaux pour les problèmes classiques et qui modélisent bien le réseau). Cette remarque est plus particulièrement valide dans le cas de la modélisation du dynamisme des ressources.
* '''Données massives distribuées''' : ce thème porte sur la conception de réseaux virtuels pair à pair et d'algorithmes de routage, l'exécution de requêtes (exploration perpétuelle, cartographie, rendez-vous, ...) par agents mobiles, la diffusion et le calcul distribué sur de grands réseaux dynamiques. Les solutions envisagées doivent être légères en mémoire, rapides et garantir des performances - d'un point de vue théorique - de niveau comparable au cadre centralisé.
* '''Calculs locaux''' : l'objectif est de fournir des outils permettant de coder, d'étudier et d'enseigner différents aspects de l'algorithmique distribuée. On s'intéresse plus particulièrement à certains problèmes comme : l'élection, le nommage, le calcul d'un arbre recouvrant, la détection de la terminaison, la synchronisation, le consensus ou bien la reconnaissance de certaines propriétés du réseau. Ces études sont faites d'une part en fonction des règles de calcul autorisées sur le réseau et d'autre part de la connaissance initiale ou de la configuration initiale du réseau.
* '''Algorithmes distribués probabilistes''' : la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche en particulier des solutions optimales du point de vue de la complexité en bits : nombre de bits échangés entre 2 sommets quelconques.
Ligne 19 modifiée:
Presentation.
en:
The English version is not yet available. You may try to feed an automatic translator with the French version.
02 octobre 2012 à 12h07 par 147.210.8.51 -
Ligne 14 modifiée:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche en particulier des solutions optimales du point de vue de la complexité en bits : nombre de bits échangés enter 2 sommets quelconques.
en:
* '''Algorithmes distribués probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche en particulier des solutions optimales du point de vue de la complexité en bits : nombre de bits échangés enter 2 sommets quelconques.
02 octobre 2012 à 11h50 par 147.210.8.51 -
Ligne 14 modifiée:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche en particulier des solutions optimales du point de vue de la complexité en bit : nombre de bits échangés enter 2 sommets quelconques.
en:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche en particulier des solutions optimales du point de vue de la complexité en bits : nombre de bits échangés enter 2 sommets quelconques.
02 octobre 2012 à 11h50 par 147.210.8.51 -
Lignes 14-15 modifiées:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche
en particulier des solutions optimales du point de vue de la complexité en bit : nombre de bits échangés enter 2 sommets quelconques.
en:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche en particulier des solutions optimales du point de vue de la complexité en bit : nombre de bits échangés enter 2 sommets quelconques.
02 octobre 2012 à 11h49 par 147.210.8.51 -
Lignes 14-15 modifiées:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile.
en:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile. On recherche
en particulier des solutions optimales du point de vue de la complexité en bit : nombre de bits échangés enter 2 sommets quelconques.
02 octobre 2012 à 11h46 par 147.210.8.51 -
Ligne 14 modifiée:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais analyse difficile.
en:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais l'analyse difficile.
02 octobre 2012 à 11h46 par 147.210.8.51 -
Ligne 14 modifiée:
en:
* '''Algorithmes probabilistes''': la non existence d'algorithmes distribués déterministes pour résoudre certains problèmes nous conduit à proposer et à étudier des algorithmes distribués probabilistes dont l'expression est souvent simple mais analyse difficile.
02 octobre 2012 à 11h44 par 147.210.8.51 -
Lignes 13-14 modifiées:
* '''Calculs locaux''': l'objectif est
de fournir des outils permettant de coder, d'étudier et d'enseigner différents aspects de l'algorithmique distribuée. On s'intéresse plus particulièrement à certains problèmes comme : l'élection, le nommage, le calcul d'un arbre recouvrant, la détection de la terminaison, la synchronisation, le consensus ou bien la reconnaissance de certaines propriétés du réseau. Ces études sont faites d'une part en fonction des règles de calcul autorisées sur le réseau et d'autre part de la connaissance initiale ou de la configuration initiale du réseau.
en:
* '''Calculs locaux''': l'objectif est de fournir des outils permettant de coder, d'étudier et d'enseigner différents aspects de l'algorithmique distribuée. On s'intéresse plus particulièrement à certains problèmes comme : l'élection, le nommage, le calcul d'un arbre recouvrant, la détection de la terminaison, la synchronisation, le consensus ou bien la reconnaissance de certaines propriétés du réseau. Ces études sont faites d'une part en fonction des règles de calcul autorisées sur le réseau et d'autre part de la connaissance initiale ou de la configuration initiale du réseau.
02 octobre 2012 à 11h43 par 147.210.8.51 -
Lignes 13-14 modifiées:

 
en:
* '''Calculs locaux''': l'objectif est
 de fournir des outils permettant de coder, d'étudier et d'enseigner différents aspects de l'algorithmique distribuée. On s'intéresse plus particulièrement à certains problèmes comme : l'élection, le nommage, le calcul d'un arbre recouvrant, la détection de la terminaison, la synchronisation, le consensus ou bien la reconnaissance de certaines propriétés du réseau. Ces études sont faites d'une part en fonction des règles de calcul autorisées sur le réseau et d'autre part de la connaissance initiale ou de la configuration initiale du réseau.
01 octobre 2012 à 16h34 par 147.210.8.180 -
19 novembre 2010 à 11h09 par 147.210.8.180 -
Ligne 12 modifiée:
* '''Données massives distribués''': ce thème porte sur la conception de réseaux virtuels pair à pair et d'algorithmes de routage, l'exécution de requêtes (exploration perpétuelle, cartographie, rendez-vous, ...) par agents mobiles, la diffusion et le calcul distribué sur de grands réseaux dynamiques. Les solutions envisagées doivent être légères en mémoire, rapides et garantir des performances - d'un point de vue théorique - de niveau comparable au cadre centralisé.
en:
* '''Données massives distribuées''': ce thème porte sur la conception de réseaux virtuels pair à pair et d'algorithmes de routage, l'exécution de requêtes (exploration perpétuelle, cartographie, rendez-vous, ...) par agents mobiles, la diffusion et le calcul distribué sur de grands réseaux dynamiques. Les solutions envisagées doivent être légères en mémoire, rapides et garantir des performances - d'un point de vue théorique - de niveau comparable au cadre centralisé.
14 juin 2010 à 13h52 par 147.210.8.180 -
Ligne 4 modifiée:
Présentation du thème Algorithmique Distribuée de l'équipe ''''Combinatioire et Algorithmique''''
en:
Présentation du thème Algorithmique Distribuée de l'équipe ''Combinatoire et Algorithmique''
14 juin 2010 à 13h51 par 147.210.8.180 -
Ligne 4 modifiée:
Présentation du thème Algorithmique Distribuée
en:
Présentation du thème Algorithmique Distribuée de l'équipe ''''Combinatioire et Algorithmique''''
14 juin 2010 à 13h46 par 147.210.8.180 -
Lignes 9-15 modifiées:
'''Etude de la fiabilité et de la caractérisation des algorithmes distribués''': l'objectif est de prouver à l'aide d'assistant de preuve (tel Coq) que la spécification formelle des algorithmes est valide. Le modèle théorique sous-jacent est celui des calculs locaux développés au LaBRI depuis plusieurs années. 

'''Algorithmes tolérant les pannes temporaires ou définitives''': de par la taille croissante des réseaux, il est primordial de considérer une grande variété de pannes et d'erreurs. Une des questions porte sur l'efficacité de la propriété de l'auto-stabilisation en fonction des types de pannes et d'erreurs.

'''Modélisation des réseaux distribués à grande échelle et de leur dynamisme''': on a observé depuis quelques années que les réseaux (physiques et virtuels) réels présentent des propriétés topologiques qualitatives (petit monde, ...) très importante pour la conception des algorithmes. En revanche, on manque de modèles pertinents (c'est à dire à la fois dont les paramètres peuvent être instanciés facilement, qui conduit à des algorithmes polynomiaux pour les problèmes classiques et qui modélisent bien le réseau). Cette remarque est plus particulièrement valide dans le cas de la modélisation du dynamisme des ressources.

'''Données massives distribués''': ce thème porte sur la conception de réseaux virtuels pair à pair et d'algorithmes de routage, l'exécution de requêtes (exploration perpétuelle, cartographie, rendez-vous, ...) par agents mobiles, la diffusion et le calcul distribué sur de grands réseaux dynamiques. Les solutions envisagées doivent être légères en mémoire, rapides et garantir des performances - d'un point de vue théorique - de niveau comparable au cadre centralisé.
en:
* '''Etude de la fiabilité et de la caractérisation des algorithmes distribués''': l'objectif est de prouver à l'aide d'assistant de preuve (tel Coq) que la spécification formelle des algorithmes est valide. Le modèle théorique sous-jacent est celui des calculs locaux développés au LaBRI depuis plusieurs années. 
* '''Algorithmes tolérant les pannes temporaires ou définitives''': de par la taille croissante des réseaux, il est primordial de considérer une grande variété de pannes et d'erreurs. Une des questions porte sur l'efficacité de la propriété de l'auto-stabilisation en fonction des types de pannes et d'erreurs.
* '''Modélisation des réseaux distribués à grande échelle et de leur dynamisme''': on a observé depuis quelques années que les réseaux (physiques et virtuels) réels présentent des propriétés topologiques qualitatives (petit monde, ...) très importante pour la conception des algorithmes. En revanche, on manque de modèles pertinents (c'est à dire à la fois dont les paramètres peuvent être instanciés facilement, qui conduit à des algorithmes polynomiaux pour les problèmes classiques et qui modélisent bien le réseau). Cette remarque est plus particulièrement valide dans le cas de la modélisation du dynamisme des ressources.
* '''Données massives distribués''': ce thème porte sur la conception de réseaux virtuels pair à pair et d'algorithmes de routage, l'exécution de requêtes (exploration perpétuelle, cartographie, rendez-vous, ...) par agents mobiles, la diffusion et le calcul distribué sur de grands réseaux dynamiques. Les solutions envisagées doivent être légères en mémoire, rapides et garantir des performances - d'un point de vue théorique - de niveau comparable au cadre centralisé.
14 juin 2010 à 13h45 par 147.210.8.180 -
Lignes 5-19 ajoutées:

Le développement des réseaux, l'utilisation de plus en plus massives de terminaux peu fiables avec de faibles connectivités nécessite des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et  dont le comportement puisse être prouvé formellement.


'''Etude de la fiabilité et de la caractérisation des algorithmes distribués''': l'objectif est de prouver à l'aide d'assistant de preuve (tel Coq) que la spécification formelle des algorithmes est valide. Le modèle théorique sous-jacent est celui des calculs locaux développés au LaBRI depuis plusieurs années. 

'''Algorithmes tolérant les pannes temporaires ou définitives''': de par la taille croissante des réseaux, il est primordial de considérer une grande variété de pannes et d'erreurs. Une des questions porte sur l'efficacité de la propriété de l'auto-stabilisation en fonction des types de pannes et d'erreurs.

'''Modélisation des réseaux distribués à grande échelle et de leur dynamisme''': on a observé depuis quelques années que les réseaux (physiques et virtuels) réels présentent des propriétés topologiques qualitatives (petit monde, ...) très importante pour la conception des algorithmes. En revanche, on manque de modèles pertinents (c'est à dire à la fois dont les paramètres peuvent être instanciés facilement, qui conduit à des algorithmes polynomiaux pour les problèmes classiques et qui modélisent bien le réseau). Cette remarque est plus particulièrement valide dans le cas de la modélisation du dynamisme des ressources.

'''Données massives distribués''': ce thème porte sur la conception de réseaux virtuels pair à pair et d'algorithmes de routage, l'exécution de requêtes (exploration perpétuelle, cartographie, rendez-vous, ...) par agents mobiles, la diffusion et le calcul distribué sur de grands réseaux dynamiques. Les solutions envisagées doivent être légères en mémoire, rapides et garantir des performances - d'un point de vue théorique - de niveau comparable au cadre centralisé.

 

09 juin 2010 à 09h43 par 147.210.129.51 -
Ligne 1 ajoutée:
(:if userlang fr:)
Lignes 4-12 modifiées:
Présentation du thème Algorithmique Distribuée
en:
Présentation du thème Algorithmique Distribuée

(:if userlang en:)
(:title Home:)

Presentation.

(:if:)

09 juin 2010 à 09h06 par 147.210.129.51 -
Lignes 1-14 modifiées:
Welcome to PmWiki!

A local copy of PmWiki's
documentation has been installed along with the software,
and is available via the [[PmWiki/documentation index]]. 

To continue setting up PmWiki, see [[PmWiki/initial setup tasks]].

The [[PmWiki/basic editing]] page describes how to create pages
in PmWiki.  You can practice editing in the [[wiki sandbox]].

More information about PmWiki is available from http://www.pmwiki.org .

Ça marche ?
en:
(:title Accueil:)

Présentation du thème Algorithmique Distribuée
09 juin 2010 à 09h04 par 147.210.129.51 -
Ligne 14 modifiée:
Ça marche ?
en:
Ça marche ?
09 juin 2010 à 08h59 par 147.210.129.51 -
Lignes 13-14 ajoutées:

Ça marche ?

Français English

Jobs

Group

GT

Positions

edit SideBar

Blix theme adapted by David Gilbert, powered by PmWiki