Identifiant pérenne de la notice : 247838039
Notice de type
Notice de regroupement
Note publique d'information : CETTE THESE PRESENTE PLUSIEURS TRAVAUX VISANT LA FOURNITURE D'OUTILS PERMETTANT LA
CONCEPTION DE RESEAUX D'INTERCONNEXION POUR DES MACHINES PARALLELES QUI SONT DES RESEAUX
DE STATIONS DE TRAVAIL. PLUS PARTICULIEREMENT, CETTE THESE TOURNE AUTOUR DE DEUX AXES
: LE ROUTEUR RCUBE ET LA MACHINE MULTI-PC RESPECTIVEMENT DEVELOPPE ET EN COURS DE
DEVELOPPEMENT AU SEIN DE L'EQUIPE ASIM DU LABORATOIRE LIP6. L'ETIQUETAGE DE PLUSIEURS
TOPOLOGIES REGULIERES UTILISANT RCUBE ET CONFORMES AUX SPECIFICATIONS DE MULTI-PC
SONT PRESENTEES. LES RESULTATS DE L'EVALUATION DES PERFORMANCES DE CES TOPOLOGIES
POUR PLUSIEURS TAILLES ET SOUS DIFFERENTES CHARGES SONT EGALEMENT PRESENTES ICI. LE
COUT DE L'ADAPTATIVITE EST DISCUTE AU VU DES RESULTATS OBTENUS. L'EVALUATION DES PERFORMANCES
DE DIFFERENTES TOPOLOGIES A PERMI D'EFFECTUER UNE EVALUATION DU ROUTEUR RCUBE. CETTE
THESE PROPOSE UNE EXTENSION DE RCUBE PAR L'AJOUT D'UNE STRUCTURE DE MEMORISATION CENTRALISEE.
LE SUPPORT DE TOPOLOGIES NON-REGULIERES EST RENDU POSSIBLE PAR LA FOURNITURE D'UN
ALGORITHME DE CONFIGURATION AUTOMATIQUE DE TOPOLOGIES QUELCONQUES. CET ALGORITHME
EST UNE MODIFICATION DE L'ALGORITHME DE VAN-LEEUWEN DONT LE BUT EST DE PRODUIRE UN
ADRESSAGE LINEAIRE DES SEULS PROCESSEURS DANS DES RESEAUX OU IL EST POSSIBLE QUE CERTAINS
ROUTEURS NE COMPORTENT AUCUN PROCESSEUR. FINALEMENT, UNE THEORIE DE VERIFICATION FORMELLE
DE LA VALIDITE D'UN SCHEMA DE ROUTAGE EST PRESENTEE. UNE METHODE DE VERIFICATION AUTOMATIQUE,
DERIVEE DE CETTE THEORIE, ET LES PRINCIPES DE SON IMPLEMENTATION LOGICIELLE SONT EGALEMENT
PRESENTES.
paprika.idref.fr
data.idref.fr
Documentation
