Cooperative Research Initiatives
1998-1999 Archives

Cooperative initiatives accepted for 1998-1999

Coordinateur	Projet	Titre de l'action proposée	Partenaires
Daniel Le Métayer	Lande	Java Card Sémantique, optimisations et sécurité	Cristal, Croap, Onera-Cert, Dyade
Michaël Rusinowitch	Protheo	Preuves par réécriture de systèmes synchrones et asynchrones	Spectre, CMI-Université Provence, EP-ATR
Afonso Ferreira	Sloop	Routage et handover pour les télécommunications mobiles	Algo, Hipercom, Mistral, Liafa, LRI, Limos
Hubert Garavel	Vasy-RA	Verdon - Vérification et test de systèmes réactifs critiques comportant des données	Meije, Pampa, LSR-Imag
Alain Girault	Bip	Code réparti tolérant aux pannes pour  systèmes embarqués	Icare, Sosso
Christian Barillot	Vista	Sur les applications médicales des  ultrasons 3D	Epidaure, Isa
Loïc Pottier	Croap	CFC - Calcul formel certifié	Coq, Cristal, LIP6
Olivier Coulaud	Numath	Simulation moléculaire complexe	Apache, CEA-Grenoble, LCTN-Nancy
Thierry Priol	Caps	Support logiciel pour l'exploitation des réseaux à capacité d'adressage	Apache, ReMaP, Sirac, Espace-Lille
François Charpillet	Syco	Résolution de problèmes avec limitation de ressources	Omega, Orion, Sherpa
Jean-Charles Gilbert	Estime	OPINeL - Optimisation par Points Intérieurs Non Linéaire	Numath, Universités de Limoges et Montpellier
Agnès Sulem	Méta 2	Développement d'une boîte à outils « Mathématiques financières »	Cermics, Fractales, Omega

 

More information

For more information on the Science board's cooperative initiatives, please contact:

Gilles Kahn, Scientific Director
Tél. : +33 1 39 63 51 22

Françoise Weber, Assistant to the Scientific Director
Tel. : +33 1 39 63 52 19