skip to main content

VERIFICATION STATIQUE DE SYNCHRONISATION ET TRAITEMENT D'EXCEPTIONS DANS LES PROGRAMMES PARALLELES : CONCEPTION ET MISE EN OEUVRE DE MECANISMES ADAPTES

GAMATIE, BOUBAKAR

S.l. : s.n., 1982

Voir les exemplaires

  • Titre:
    VERIFICATION STATIQUE DE SYNCHRONISATION ET TRAITEMENT D'EXCEPTIONS DANS LES PROGRAMMES PARALLELES : CONCEPTION ET MISE EN OEUVRE DE MECANISMES ADAPTES
  • Auteur: GAMATIE, BOUBAKAR
  • Sujets: EXCEPTION;
    SYNCHRONISATION;
    PROGRAMMATION PARALLELE;
    Parallélisme;
    H-LOGICIEL
  • Description: Mines : FRA .
    Thèse de 3e cycle
    FIABILITE DES LOGICIELS: IL EST EVIDENT QUE DANS TOUTE "GROSSE" APPLICATION SUBSTITENT TOUJOURS DES FAUTES. ON S'INTERESSE ICI AUX PROCESSUS PARALLELES, QUI PEUVENT ETRE MIS EN OEUVRE DANS UN ENVIRONNEMENT NON CENTRALISE. ON PROPOSE UNE METHODE DE VERIFICATION STATIQUE DE CERTAINES PROPRIETES DES PROGRAMMES PARALLELES (ABSENCE D'INTERBLOCAGE, CORRECTION DES SCHEMAS DE COOPERATION) QUI UTILISE UNE MODELISATION DU COMPORTEMENT D'UNE APPLICATION QUI A PERMIS DE DETERMINER UNE ENTITE DE STRUCTURATION DYNAMIQUE D'UNE APPLICATION: LA NOTION D'ACTIVITE. ON EXPOSE ENSUITE UN MECANISME DE TRAITEMENT D'EXCEPTIONS A L'EXECUTION, BASE SUR LA NOTION D'AGENT DE SERVICE, QUI EST UNE GENERALISATION DE LA NOTION D'OPERATION. L'AGENT DE SERVICE FACILITE LA CONCEPTION DES APPLICATIONS A UN NIVEAU D'ABSTRACTION SUFFISAMMENT ELEVE, POUR EN RENDRE L'EXPRESSION SIMPLE, ET FIABLE. ON DECRIT LA REALISATION ET LA MISE EN OEUVRE QUI EN ONT ETE FAITES
  • Éditeur: S.l. : s.n.
  • Date de publication: 1982
  • Format: 127 P. ; 21 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré