skip to main content

VECTORISATION AUTOMATIQUE DE BOUCLES COMPORTANT DES INSTRUCTIONS DE BRANCHEMENT

Laurent, Catherine ; Feautrier, Paul

S.l. : s.n., 1990

Voir les exemplaires

  • Titre:
    VECTORISATION AUTOMATIQUE DE BOUCLES COMPORTANT DES INSTRUCTIONS DE BRANCHEMENT
  • Auteur: Laurent, Catherine
  • Autre(s) auteur(s): Feautrier, Paul
  • Sujets: PARALLELISATION AUTOMATIQUE;
    Transformation de programme;
    H-LOGICIEL
  • Description: Thèse Doctorat
    LES INSTRUCTIONS DE BRANCHEMENT CONSTITUENT UNE ENTRAVE AU PROCESSUS DE VECTORISATION AUTOMATIQUE, CAR ELLES REPRESENTENT UNE RUPTURE DE SEQUENCE DANS L'EXECUTION D'UNE BOUCLE, ALORS QUE L'ON RECHERCHE AU CONTRAIRE LA CONTINUITE DANS LE MANIEMENT DES VECTEURS DE DONNEES. NOUS AVONS DONC ETUDIE UNE METHODE PERMETTANT D'ELIMINER CES BRANCHEMENTS. ELLE CONSISTE EN DIVERSES TRANSFORMATIONS SYNTAXIQUES, BASEES SUR L'INTRODUCTION D'INSTRUCTIONS GARDEES, QUI PERMETTENT DE CONSERVER INTACTE LA SEMANTIQUE DU PROGRAMME. LA GENERATION AUTOMATIQUE DE GARDES PEUT ENGENDRER DES EXPRESSIONS LOGIQUES PLUS OU MOINS COMPLEXES, QU'IL EST SOUVENT POSSIBLE DE SIMPLIFIER. NOUS AVONS DONC CONSTRUIT UN OUTIL PERMETTANT D'OBTENIR UNE FORME REDUITE D'UNE EXPRESSION LOGIQUE MISE SOUS FORME NORMALE DISJONCTIVE. SON ORIGINALITE RESIDE DANS LE FAIT QU'IL PERMET DE SIMPLIFIER LES PREDICATS EN PRENANT EN COMPTE LES RELATIONS D'IMPLICATION QUI LES LIENT IMPLICITEMENT
  • É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é