skip to content
Améliorations des performances d'un système de compilation d'équations Preview this item
ClosePreview this item
Checking...

Améliorations des performances d'un système de compilation d'équations

Author: Alain Miniussi; Robert Strandh
Publisher: [S.l.] : [s.n.], 1997.
Dissertation: Thèse de doctorat : Informat. : Bordeaux 1 : 1997 ; 1661.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : FrenchView all editions and formats
Database:WorldCat
Summary:
CE TRAVAIL S'INSCRIT DANS LE CADRE DU PROJET EQC, INITIE PAR MICHAEL J. O'DONNELL A LA FIN DES ANNEES SOIXANTE DIX. CE PROJET A POUR PRINCIPAL OBJECTIF D'OFFRIR LES OUTILS PERMETTANT D'UTILISER EFFICACEMENT LES SYSTEMES DE REECRITURE COMME LANGAGE DE PROGRAMMATION. UNE ETUDE DE L'EXISTANT PRESENTERA D'UNE PART LA CLASSE DES SYSTEMES DE REECRITURE FORWARD-BRANCHING, SUR LAQUELLE NOUS CONCENTRERONS NOS EFFORTS, ET  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Alain Miniussi; Robert Strandh
OCLC Number: 490145225
Notes: 1997BOR10678.
Description: 165 p. ; 30 cm.
Other Titles: EFFICIENT COMPILATION OF AN EQUATIONNAL COMPILER
Responsibility: par Alain Miniussi.

Abstract:

CE TRAVAIL S'INSCRIT DANS LE CADRE DU PROJET EQC, INITIE PAR MICHAEL J. O'DONNELL A LA FIN DES ANNEES SOIXANTE DIX. CE PROJET A POUR PRINCIPAL OBJECTIF D'OFFRIR LES OUTILS PERMETTANT D'UTILISER EFFICACEMENT LES SYSTEMES DE REECRITURE COMME LANGAGE DE PROGRAMMATION. UNE ETUDE DE L'EXISTANT PRESENTERA D'UNE PART LA CLASSE DES SYSTEMES DE REECRITURE FORWARD-BRANCHING, SUR LAQUELLE NOUS CONCENTRERONS NOS EFFORTS, ET D'AUTRE PART LES TECHNIQUES D'OPTIMISATION SE RATTACHANT ESSENTIELLEMENT A L'EVALUATION PARTIELLE. NOUS DEVELOPPERONS ENSUITE NOS PRINCIPALES CONTRIBUTIONS. DES TRAVAUX ANTERIEURS ONT PERMIS D'IDENTIFIER CERTAINS PROBLEMES LIES A L'EFFICACITE ET INHERENTS A CE TYPE DE PROGRAMMATION. NOUS PROPOSONS UNE SOLUTION A CERTAINS DE CES PROBLEMES. NOUS PRESENTERONS NOTAMMENT UN ALGORITHME QUADRATIQUE POUR LA RECONNAISSANCE DES SYSTEMES FORWARD-BRANCHING, LE PLUS EFFICACE A CE JOUR. NOUS PROPOSERONS ENSUITE UNE STRATEGIE D'OPTIMISATION ET EXPLIQUERONS EN QUOI ELLE RESOUD LES PROBLEMES SPECIFIQUES AUQUELS NOUS SOMMES CONFRONTES. NOUS PROPOSONS EGALEMENT UN TRAITEMENT PARTICULIER DES OPERATIONS ARITHMETIQUES PERMETTANT D'OBTENIR DES PERFORMANCES COMPARABLES A CELLES DES LANGAGES CLASSIQUES SANS COMPROMIS SEMANTIQUE.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/490145225>
library:oclcnum"490145225"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/490145225>
rdf:typeschema:Book
rdf:typej.2:Thesis
schema:contributor
schema:creator
schema:datePublished"1997"
schema:description"CE TRAVAIL S'INSCRIT DANS LE CADRE DU PROJET EQC, INITIE PAR MICHAEL J. O'DONNELL A LA FIN DES ANNEES SOIXANTE DIX. CE PROJET A POUR PRINCIPAL OBJECTIF D'OFFRIR LES OUTILS PERMETTANT D'UTILISER EFFICACEMENT LES SYSTEMES DE REECRITURE COMME LANGAGE DE PROGRAMMATION. UNE ETUDE DE L'EXISTANT PRESENTERA D'UNE PART LA CLASSE DES SYSTEMES DE REECRITURE FORWARD-BRANCHING, SUR LAQUELLE NOUS CONCENTRERONS NOS EFFORTS, ET D'AUTRE PART LES TECHNIQUES D'OPTIMISATION SE RATTACHANT ESSENTIELLEMENT A L'EVALUATION PARTIELLE. NOUS DEVELOPPERONS ENSUITE NOS PRINCIPALES CONTRIBUTIONS. DES TRAVAUX ANTERIEURS ONT PERMIS D'IDENTIFIER CERTAINS PROBLEMES LIES A L'EFFICACITE ET INHERENTS A CE TYPE DE PROGRAMMATION. NOUS PROPOSONS UNE SOLUTION A CERTAINS DE CES PROBLEMES. NOUS PRESENTERONS NOTAMMENT UN ALGORITHME QUADRATIQUE POUR LA RECONNAISSANCE DES SYSTEMES FORWARD-BRANCHING, LE PLUS EFFICACE A CE JOUR. NOUS PROPOSERONS ENSUITE UNE STRATEGIE D'OPTIMISATION ET EXPLIQUERONS EN QUOI ELLE RESOUD LES PROBLEMES SPECIFIQUES AUQUELS NOUS SOMMES CONFRONTES. NOUS PROPOSONS EGALEMENT UN TRAITEMENT PARTICULIER DES OPERATIONS ARITHMETIQUES PERMETTANT D'OBTENIR DES PERFORMANCES COMPARABLES A CELLES DES LANGAGES CLASSIQUES SANS COMPROMIS SEMANTIQUE."
schema:exampleOfWork<http://worldcat.org/entity/work/id/365555625>
schema:name"Améliorations des performances d'un système de compilation d'équations"
schema:name"EFFICIENT COMPILATION OF AN EQUATIONNAL COMPILER"
schema:numberOfPages"165"
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.