We report our current research in a computer assisted methodology for synthesizing regular array processors using the Alpha language and design environment. The design process starts from an algorithmic level description of the function and finishes with a netlist of an array processor which performs the specified function. To illustrate the proposed approach, we present the design of an array processor to do polynomial division. 1 Introduction We describe our experiences in using Alpha as a tool to develop regular array processor circuits from a high level description of an algorithm. Alpha is a functional language based on the formalism of systems of affine recurrence equations. Algorithms may be represented at a very high level in Alpha...
: This report is a formal description of the Alpha language, as it is currently implemented. Alpha i...
The ability to describe array expressions in terms of the shapes of their arguments and the symbolic...
Many techniques and design tools have been developed for mapping algorithms to array processors. Lin...
We report our current research in a computer assisted methodology for synthesizing regular array pro...
: In recognition of the fundamental relation between regular arrays and systems of affine recurrence...
Abstract. We present an overview of a prototype system based on a functional language for developing...
The theory of synthesis for designing regular array architectures has been established for some time...
Efficient implementation of problems on processor arrays requires dedicated compiling techniques. Th...
Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet API...
A formal approach for the transformation of computation intensive digital signal processing algorith...
We present a set of program transformations which are applied automatically to convert abstract func...
AbstractWe present a set of program transformations which are applied automatically to convert abstr...
In this paper, we introduce a formal approach for synthesis of array architectures. Four different f...
PhD ThesisSynthesis techniques for regular arrays provide a disciplined and well-founded approach to...
Two approaches to architecture-independent parallel computation are investigated: a constructive fun...
: This report is a formal description of the Alpha language, as it is currently implemented. Alpha i...
The ability to describe array expressions in terms of the shapes of their arguments and the symbolic...
Many techniques and design tools have been developed for mapping algorithms to array processors. Lin...
We report our current research in a computer assisted methodology for synthesizing regular array pro...
: In recognition of the fundamental relation between regular arrays and systems of affine recurrence...
Abstract. We present an overview of a prototype system based on a functional language for developing...
The theory of synthesis for designing regular array architectures has been established for some time...
Efficient implementation of problems on processor arrays requires dedicated compiling techniques. Th...
Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet API...
A formal approach for the transformation of computation intensive digital signal processing algorith...
We present a set of program transformations which are applied automatically to convert abstract func...
AbstractWe present a set of program transformations which are applied automatically to convert abstr...
In this paper, we introduce a formal approach for synthesis of array architectures. Four different f...
PhD ThesisSynthesis techniques for regular arrays provide a disciplined and well-founded approach to...
Two approaches to architecture-independent parallel computation are investigated: a constructive fun...
: This report is a formal description of the Alpha language, as it is currently implemented. Alpha i...
The ability to describe array expressions in terms of the shapes of their arguments and the symbolic...
Many techniques and design tools have been developed for mapping algorithms to array processors. Lin...