Nombre de documents trouvés : 16 documents

1 - 2

Specification, Model Generation, and Verification of Distributed Applications Madelaine E. Université de Nice Sophia-Antipolis (29/09/2011), Gérard Berry (Pr.) [tel-00625248 - version 1]

Branchement et Elagage sur Grilles Pair-à-Pair à Grande-Echelle Di Costanzo A. Université de Nice Sophia-Antipolis (12/10/2007), Denis Caromel (Dir.) [tel-00221450 - version 1]

Tolérance aux pannes pour objets actifs asynchrones : modèle, protocole et expérimentations Christian D. Université de Nice Sophia-Antipolis (24/01/2007), Denis Caromel (Dir.) [tel-00207953 - version 1]

ÉQUILIBRAGE DE CHARGE DYNAMIQUE POUR DES OBJETS ACTIFS DANS LES GRILLES DE CALCUL Bustos-Jiménez J. Université de Nice Sophia-Antipolis (2006-12-18), Denis CAROMEL (Dir.) [tel-00164582 - version 1]

Composants pour la grille Morel M. Université de Nice Sophia-Antipolis (27/11/2006), Denis Caromel (Dir.) [tel-00263646 - version 1]

De la programmation parallèle structurée à la programmation pour la grille Baude F. Université de Nice Sophia-Antipolis (15/09/2006), Michel Riveill (Pr.) [tel-00507049 - version 1]

Spécification et vérification formelles des systèmes de composants répartis Barros T. Université de Nice Sophia-Antipolis (25/11/2005), Isabelle Attali (Dir.) [tel-00090718 - version 1]

Sécurité par contrôle de flux d'applications asynchrones, distribuées et mobiles Luna Del Aguila F. Université de Nice Sophia-Antipolis (07/10/2005), Attali Isabelle (Dir.) [tel-00010545 - version 1]

Typed Groups for the Grid Baduel L. Université de Nice Sophia-Antipolis (08/07/2005), Caromel Denis (Dir.) [tel-00009757 - version 1]

Génération de modèles comportemementaux des applications des applications réparties Boulifa R. Université de Nice Sophia-Antipolis (14/12/2004), Madelaine Eric (Dir.) [tel-00008927 - version 1]

1 - 2

L'URL de cette page est : http://tel.archives-ouvertes.fr/lab/oasis/