Normal view MARC view ISBD view

VECTORISATION AUTOMATIQUE DE BOUCLES COMPORTANT DES INSTRUCTIONS DE BRANCHEMENT / CATHERINE LAURENT ; SOUS LA DIRECTION DE PAUL FEAUTRIER

Auteur principal : Laurent, Catherine, AuteurAuteur secondaire : : Feautrier, Paul, Directeur de thèseLangue :de résumé, Français.Publication : [S.l.] : [s.n.], 1990Classification : 001.D.02.BRésumé : 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.Bibliographie: 71 REF.Thèse : .Sujet : PARALLELISATION AUTOMATIQUE ;Transformation de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-2246 Sur demande CRI03410D

1990PA066793

71 REF

Thèse Doctorat SCIENCES APPLIQUEES Paris 6 1990

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

Powered by Koha