Array-OL Revisited, Multidimensional Intensive Signal Processing Specification

This paper presents the Array-OL specification language. It is a high-level visual language dedicated to multidimensional intensive signal processing applications. It allows to specify both the task parallelism and the data parallelism of these applications on focusing on their complex multidimensional data access patterns. This presentation includes several extensions and tools developed around Array-OL during the last few years and discusses the mapping of an Array-OL specification onto a distributed heterogeneous hardware architecture.

[1]  Axel Jantsch,et al.  Models of computation and languages for embedded system design , 2005 .

[2]  Pierre Boulet,et al.  UML2 Profile for Modeling Controlled Data Parallel Applications , 2006, FDL.

[3]  Richard M. Karp,et al.  The Organization of Computations for Uniform Recurrence Equations , 1967, JACM.

[4]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .

[5]  Pierre Boulet,et al.  Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach , 2005 .

[6]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[7]  Philippe Dumont.  Spécification multidimensionnelle pour le traitement du signal systématique , 2005 .

[8]  Christophe Mauras.  Alpha : un langage equationnel pour la conception et la programmation d'architectures paralleles synchrones , 1989 .

[9]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[10]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[11]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[12]  Pierre Boulet,et al.  Projection of the Array-OL specification language onto the Kahn process network computation model , 2005, 8th International Symposium on Parallel Architectures,Algorithms and Networks (ISPAN'05).

[13]  Edward A. Lee,et al.  Multidimensional synchronous dataflow , 2002, IEEE Trans. Signal Process..

[14]  Edward A. Lee,et al.  Design and implementation of a multidimensional synchronous dataflow environment , 1994, Proceedings of 1994 28th Asilomar Conference on Signals, Systems and Computers.

[15]  Emmanuel Boutillon,et al.  Array-OL : proposition d'un formalisme tableau pour le traitement de signal multi-dimensionnel , 1995 .

[16]  Pierre Boulet,et al.  Recherche - SPPoC: manipulation automatique de polyèdres pour la compilation , 2001, Tech. Sci. Informatiques.

[17]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[18]  P. Feautrier.  Parametric integer programming , 1988 .

[19]  Pierre Boulet,et al.  Another Multidimensional Synchronous Dataflow: Simulating Array-OL in Ptolemy II , 2005 .

[20]  Jean-Luc Dekeyser,et al.  Compilation Principle of a Specification Language Dedicated to Signal Processing , 2001, PaCT.

[21]  Julien Soula,et al.  Principe de compilation d'un langage de traitement de signal , 2001 .

[22]  Edward A. Lee.  Mulitdimensional Streams Rooted in Dataflow , 1993, Architectures and Compilation Techniques for Fine and Medium Grain Parallelism.

[23]  Jean-Philippe Babau,et al.  From MDD Concepts to Experiments and Illustrations , 2007 .

[24]  David B. Skillicorn,et al.  Models and languages for parallel computation , 1998, CSUR.