Intended for mathematics librarians, the list allows librarians to ascertain if a seminaire has been published, which library has it, and the forms of entry under which it has been cataloged.

Throughout successive generations of information technology, the importance of the performance evaluation of software, computer architectures, and computer networks endures. For example, the performance issues of transaction processing systems and redundant arrays of independent disks replace the virtual memory and input-output problems of the 70s.

CETTE THESE EST CONSACREE A LA MODELISATION PAR FILES D'ATTENTE DE CERTAINS SYSTEMES INFORMATIQUES. LE CHAPITRE I ANALYSE UN SYSTEME CLASSIQUE DE FILES D'ATTENTE EN SERRE. LES CHAPITRES II, III ET IV ABORDENT L'ANALYSE DE MODELES D'ALLOCATION D'UNE RESSOURCE UNIQUE DANS LES RESEAUX DE COMMUNICATION (BOUCLE, BUS...). CECI SE TRADUIT PAR LA RECHERCHE DE POLITIQUES OPTIMALES DE SERVICE DANS UNE FILE D'ATTENTE MULTICLASSE AVEC CONTRAINTES. LES CHAPITRES V ET VI TRAITENT DE L'EVALUATION DES PERFORMANCES DE DEUX PROTOCOLES DE COMMUNICATION MULTI-ACCES

LES TECHNIQUES DE MODELISATION CONSTITUENT UN BON MOYEN D'EVALUER LES PERFORMANCES DE SYSTEMES INFORMATIQUES AU COURS DU DEVELOPPEMENT. LEUR UTILISATION POSE CEPENDANT DEUX TYPES DE PROBLEMES: LE PREMIER EST LIE A LA NATURE APPROXIMATIVE DE LA MODELISATION, LE DEUXIEME A L'INTEGRATION DE L'EVALUATION DE PERFORMANCES DANS LE CYCLE DE VIE D'UN SYSTEME. LA METHODE QUE NOUS AVONS DEFINIE PROPOSE D'UNE PART, UNE NOUVELLE APPROCHE DE LA MODELISATION QUI MET BIEN EN EVIDENCE L'IMPORTANCE DE LA COMMUNICATION ENTRE L'EQUIPE DE CONCEPTION DU SYSTEME ET LES SPECIALISTES EN MODELISATION, ET D'AUTRE PART, LA MISE EN PLACE DE MECANISMES D'INTEGRATION ENTRE LES PHASES DE DEVELOPPEMENT D'UN SYSTEME ET L'EVALUATION DE SES PERFORMANCES. CES MECANISMES ONT ETE APPLIQUES A UN ENVIRONNEMENT DE DEVELOPPEMENT INTEGRANT HOOD COMME METHODE DE CONCEPTION. ILS PERMETTENT L'INTEGRATION A DIFFERENTS NIVEAUX: - LORS DE LA SPECIFICATION, GRACE A UNE TAXONOMIE DES CONTRAINTES DE PERFORMANCES QUI FOURNIT DES REGLES DE REDACTION DE CES CONTRAINTES. - LORS DE LA CONCEPTION, GRACE A DES TECHNIQUES D'ANNOTATIONS DE LA METHODE DE CONCEPTION QUI FACILITENT LA CAPTURE DES DONNEES RELATIVES AUX PERFORMANCES. - LORS DE LA MODELISATION, GRACE A DES TECHNIQUES DE GENERATION AUTOMATIQUE DE MODELES DE PERFORMANCES A PARTIR D'UNE CONCEPTION ANNOTEE. LA METHODE A ETE EXPERIMENTEE SUR UN PROJET PILOTE DU DOMAINE SPATIAL ET A DEMONTRE TOUT SON INTERET. ELLE A PERMIS D'AMELIORER LE DIALOGUE ENTRE LES CONCEPTEURS ET LES SPECIALISTES EN MODELISATION EN MAINTENANT LA CONSISTANCE ENTRE LE SYSTEME ET SON MODELE. ELLE A EGALEMENT REDUIT LES TEMPS DE DEVELOPPEMENT DU MODELE, PERMETTANT AINSI L'ANALYSE DE PLUSIEURS CONFIGURATIONS DU SYSTEME