skip to main content

ANALYSE SEMANTIQUE DES COMMUNICATIONS ENTRE PROCESSUS DE PROGRAMMES PARALLELES

MERCOUROFF, NICOLAS ; Cousot, Patrick

S.l. : s.n., 1990

Voir les exemplaires

  • Titre:
    ANALYSE SEMANTIQUE DES COMMUNICATIONS ENTRE PROCESSUS DE PROGRAMMES PARALLELES
  • Auteur: MERCOUROFF, NICOLAS
  • Autre(s) auteur(s): Cousot, Patrick
  • Sujets: ANALYSE SEMANTIQUE;
    LANGAGE OCCAM;
    PROGRAMME PARALLELE;
    PROCESSUS;
    Preuve de programme;
    H-LOGICIEL
  • Description: Thèse Doctorat
    L'ANALYSE SEMANTIQUE A POUR BUT DE DETERMINER, A L'AIDE D'UNE ANALYSE STATIQUE DE SON CODE, DES PROPRIETES DYNAMIQUES VERIFIEES A L'EXECUTION D'UN PROGRAMME. LE BUT DE CE TRAVAIL EST, DANS LE CAS DE PROGRAMMES PARALLELES CONSTITUES DE PROCESSUS SEQUENTIELS COMMUNIQUANTS DE TYPE C.S.P., D'ETABLIR DE MANIERE APPROCHEE, MAIS STATIQUE ET AUTOMATIQUE, LES COMMUNICATIONS REALISEES DURANT UNE EXECUTION QUELCONQUE DU PROGRAMME. LA TECHNIQUE MISE EN UVRE POUR CETTE ANALYSE REPOSE SUR UNE METHODE DE CALCUL DES RANGS DES COMMUNICATIONS SANS TENIR COMPTE DES ETATS MEMOIRE. L'IDEE EST QUE POUR QU'UNE COMMANDE D'ECRITURE DU PROCESSUS PUISSE EFFECTIVEMENT ADRESSER UNE COMMANDE DE LECTURE D'UN AUTRE PROCESSUS, LE RANG DE LA COMMUNICATION DOIT COINCIDER. A PARTIR DE CE PRINCIPE, L'ANALYSE CONSISTE A RECHERCHER UN POINT FIXE D'UN SYSTEME D'EQUATIONS. L'AUTOMATISATION DE LA METHODE, A L'AIDE D'UNE APPROXIMATION DES ENSEMBLES MANIPULES, A PERMIS LE DEVELOPPEMENT D'UN PROTOTYPE DE MACINTOSH
  • Éditeur: S.l. : s.n.
  • Date de publication: 1990
  • 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é