Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Electronic Notes in Theoretical Computer Science 82 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume82.html 15 pages
 

Summary: Electronic Notes in Theoretical Computer Science 82 No. 2 (2003)
URL: http://www.elsevier.nl/locate/entcs/volume82.html 15 pages
On the Recognition of Algorithm Templates
Christophe Alias 1
PRiSM
U. of Versailles Saint-Quentin
Versailles, France
Denis Barthou 2
PRiSM
U. of Versailles Saint-Quentin
Versailles, France
Abstract
This paper deals with the problem of deciding whether a System of Affine Recurrent
Equations (SARE) is an instantiation of a SARE template. A solution to this
problem would be a step toward algorithm template recognition and open new
perspectives in program analysis, optimization and parallelization. The problem is
known to be undecidable and we show that there exists a semi-decision procedure, in
which the key ingredient is the computation of transitive closures of affine relations.
This is a non-effective process which has been extensively studied. We then describe
the limitations of our algorithm and point to unsolved problems.

  

Source: Alias, Christophe - INRIA & Laboratoire de l'Informatique du Parallélisme, Ecole Normale Supérieure de Lyon

 

Collections: Computer Technologies and Information Sciences