Projet Algo

Précédent : Résultats nouveaux Remonter : Projet ALGO, Algorithmes Suivant : Actions régionales, nationales et internationales

• Calcul Formel
• Algorithmique et modélisation des réseaux
  • Catserver.

  Actions industrielles

  Calcul Formel

  Le projet ALGO et la compagnie Waterloo Maple Inc. (WMI) ont développé une collaboration très étroite fondée sur des intérêts réciproques. D'une part il est intéressant pour la compagnie d'intégrer des fonctionnalités à la pointe de la recherche en calcul formel (voir la section ). D'autre part cette intégration fournit aux programmes réalisés par les membres du projet un grand nombre d'utilisateurs d'origines très diverses. Cette relation étroite nous permet également de participer aux choix effectués par les développeurs du système.

  De nombreux échanges ont ainsi lieu entre le projet et la compagnie. En juillet 1996, J. Carette est retourné à la compagnie WMI, après une participation pendant plus de trois ans au projet ALGO. De même, E. Murray, après avoir passé plus de deux ans au projet ALGO à programmer le package combstruct de MAPLE travaille maintenant à la compagnie WMI après un passage au Symbolic Computation Group de l'Université de Waterloo. F. Chyzak a passé deux mois à Waterloo en 1996 et 1997 pour y incorporer certains de ses programmes dans la bibliothèque MAPLE.

  Grâce à ces nombreuses activités liées à MAPLE, la compagnie WMI considère l'INRIA comme un partenaire privilégié et lui accorde une licence site gratuite couvrant l'ensemble des centres. Une quinzaine de projets utilisent ce système à des degrés divers.

  F. Morain sous la maîtrise d'oeuvre du projet CODES participe à un contrat INRIA avec la COGENIT visant à générer rapidement des nombres premiers certifiés pour utilisation dans un logiciel de signature de documents électroniques.

  Le projet ALGOmaintient une coopération scientifique régulière avec X. Gourdon (Dassault Systèmes) qui en 1997 a participé à des recherches communes sur l'analyse d'Algorithmes (factorisation de polynômes) et sur le calcul formel(livre [1]).

  Algorithmique et modélisation des réseaux

   

  Catserver.

  L'avant-projet HIPERCOM (Ph. Jacquet, P. Mühlethaler) et le projet ALGO (Ph. Robert) ont soumis une proposition Esprit/Multimedia intitulée CATSERVER qui a été acceptée par la commission européenne. Elle concerne la conception et la mise au point d'un serveur multimédia sur le réseau câblé actuel (i.e. avec les modems câble du commerce) ; voir la section correspondante du rapport d'activité d'HIPERCOM. Le projet ALGO contribuera principalement à la partie compression et à l'Algorithmique de la gestion des qualités de service. Les partenaires de cette proposition sont : Dassault Electronique -- Leader (France), Brutélé (Belgique), Intrasoft (Grèce), University of Thessalonique (Grèce), Barco (Luxembourg), Lyonnaise Communications (France) et TOPNET (Luxembourg). Ce projet est programmé pour une durée de deux ans à partir du 1er décembre 1997.

  On doit signaler comme fait marquant le succès du ``protocole en arbre ternaire''. Il s'agit d'un protocole de communication qui appartient à la famille des protocoles en arbres (dus à Capetanakis, Tsybakov, et Mikhailov, à la fin des années 1970). La version ternaire est issue de travaux du projet en collaboration avec P. Mathys (ETH, Zürich) et a été extensivement validée par des travaux d'analyse probabiliste et de simulation conduits dans le projet. Il a ainsi été établi au cours de la décade écoulée par Jacquet, Flajolet et Mathys que ce protocole possède de nombreuses qualités qui lui sont propres:

  • stabilité bien supérieure à celle d'Ethernet;
  • robustesse aux pointes de trafic et très bon temps de réponse;
  • hyperstabilité, c'est-à-dire absence du phénomène de congestion globale, lorsque les taux d'arrivées dépassent le seuil de stabilité.
  C'est sur la base de ces qualités que le protocole en arbre ternaire a été proposé comme base de la norme IEEE 802.14, sur propositions parallèles d'IBM et de l'INRIA. Cette norme définit l'accès à l'internet sur réseau de télévision câblé (utilisation de la voie montante). Les études récentes conduites dans le voisinage du NIST (National Institute of Science and Technology, USA) ont pleinement confirmé l'excellente tenue de ce protocole, même en situations très tendues de trafic. Voir le rapport de l'avant-projet HIPERCOM pour la poursuite de ces travaux.

  
  

  Précédent : Résultats nouveaux Remonter : Projet ALGO, Algorithmes Suivant : Actions régionales, nationales et internationales