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; Université de Bordeaux I (1970-2013).
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; Université de Bordeaux I (1970-2013).
OCLC Number: 490145225
Description: 165 p. ; 30 cm.
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


Primary Entity

<http://www.worldcat.org/oclc/490145225> # Améliorations des performances d'un système de compilation d'équations
    a schema:Book, bgn:Thesis, schema:CreativeWork ;
    bgn:inSupportOf "Thèse de doctorat : Informat. : Bordeaux 1 : 1997 ; 1661." ;
    library:oclcnum "490145225" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/365555625#Place/s_l> ; # S.l.
    schema:about <http://experiment.worldcat.org/entity/work/data/365555625#Thing/complexite_calcul_systeme_reecriture_compilation_langage_programmation_algorithme_performance_algorithme> ; # COMPLEXITE CALCUL/SYSTEME REECRITURE/COMPILATION/LANGAGE PROGRAMMATION/ALGORITHME/PERFORMANCE ALGORITHME
    schema:about <http://experiment.worldcat.org/entity/work/data/365555625#Thing/computational_complexity_rewriting_systems_compilation_programming_language_algorithm_algorithm_performance> ; # COMPUTATIONAL COMPLEXITY/REWRITING SYSTEMS/COMPILATION/PROGRAMMING LANGUAGE/ALGORITHM/ALGORITHM PERFORMANCE
    schema:about <http://experiment.worldcat.org/entity/work/data/365555625#Thing/sciences_appliquees_informatique_automatique_theorique_systemes> ; # SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES
    schema:author <http://experiment.worldcat.org/entity/work/data/365555625#Person/miniussi_alain> ; # Alain Miniussi
    schema:contributor <http://experiment.worldcat.org/entity/work/data/365555625#Organization/universite_de_bordeaux_i_1970_2013> ; # Université de Bordeaux I (1970-2013).
    schema:contributor <http://experiment.worldcat.org/entity/work/data/365555625#Person/strandh_robert_1955> ; # Robert Strandh
    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."@fr ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/365555625> ;
    schema:inLanguage "fr" ;
    schema:name "Améliorations des performances d'un système de compilation d'équations"@fr ;
    schema:numberOfPages "165" ;
    schema:productID "490145225" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/490145225#PublicationEvent/s_l_s_n_1997> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/365555625#Agent/s_n> ; # [s.n.]
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/490145225> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/365555625#Organization/universite_de_bordeaux_i_1970_2013> # Université de Bordeaux I (1970-2013).
    a schema:Organization ;
    schema:name "Université de Bordeaux I (1970-2013)." ;
    .

<http://experiment.worldcat.org/entity/work/data/365555625#Person/miniussi_alain> # Alain Miniussi
    a schema:Person ;
    schema:familyName "Miniussi" ;
    schema:givenName "Alain" ;
    schema:name "Alain Miniussi" ;
    .

<http://experiment.worldcat.org/entity/work/data/365555625#Person/strandh_robert_1955> # Robert Strandh
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:deathDate "" ;
    schema:familyName "Strandh" ;
    schema:givenName "Robert" ;
    schema:name "Robert Strandh" ;
    .

<http://experiment.worldcat.org/entity/work/data/365555625#Thing/complexite_calcul_systeme_reecriture_compilation_langage_programmation_algorithme_performance_algorithme> # COMPLEXITE CALCUL/SYSTEME REECRITURE/COMPILATION/LANGAGE PROGRAMMATION/ALGORITHME/PERFORMANCE ALGORITHME
    a schema:Thing ;
    schema:name "COMPLEXITE CALCUL/SYSTEME REECRITURE/COMPILATION/LANGAGE PROGRAMMATION/ALGORITHME/PERFORMANCE ALGORITHME" ;
    .

<http://experiment.worldcat.org/entity/work/data/365555625#Thing/computational_complexity_rewriting_systems_compilation_programming_language_algorithm_algorithm_performance> # COMPUTATIONAL COMPLEXITY/REWRITING SYSTEMS/COMPILATION/PROGRAMMING LANGUAGE/ALGORITHM/ALGORITHM PERFORMANCE
    a schema:Thing ;
    schema:name "COMPUTATIONAL COMPLEXITY/REWRITING SYSTEMS/COMPILATION/PROGRAMMING LANGUAGE/ALGORITHM/ALGORITHM PERFORMANCE" ;
    .

<http://experiment.worldcat.org/entity/work/data/365555625#Thing/sciences_appliquees_informatique_automatique_theorique_systemes> # SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES
    a schema:Thing ;
    schema:name "SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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