Skip to main content
SpringerLink
Log in

Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing

  • Published:
Multidimensional Systems and Signal Processing Aims and scope Submit manuscript

Abstract

Intensive signal processing applications appear in many application domains such as video processing or detection systems. These applications handle multidimensional data structures (mainly arrays) to deal with the various dimensions of the data (space, time, frequency). A specification language allowing the direct manipulation of these different dimensions with a high level of abstraction is a key to handling the complexity of these applications and to benefit from their massive potential parallelism. The Array-OL specification language is designed to do just that. We introduce here an extension of Array-OL to deal with states or delays by the way of uniform inter-repetition dependences. We show that this specification language is able to express the main patterns of computation of the intensive signal processing domain.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Amar, A., Boulet, P., & Dumont, P. (2005). Projection of the Array-OL specification language onto the Kahn process network computation model. In International symposium on parallel architectures, algorithms, and networks, Las Vegas, Nevada, USA.

  • Attali, I., Caromel, D., Syau Chen, Y., Luc Gaudiot, J., & Wendelborn, A. L. (1995). A formal semantics for sisal arrays. In Proceedings of joint conference on information service.

  • Bilsen, G., Engels, M., Lauwereins, R., & Peperstraete, J. (1995). Cyclo-static data flow. In International conference on acoustics, speech, and signal processing, Detroit, MI, USA.

  • Boulet, P. (2008). Formal semantics of Array-OL, a domain specific language for intensive multidimensional signal processing. Research Report RR-6467, INRIA.

  • Chen, M. J., & Lee, E. A. (1995). Design and implementation of a multidimensional synchronous dataflow environment. In 1995 Proceedings of IEEE Asilomar Conference on Signal, Systems, and Computers.

  • DaRT Team LIFL/INRIA, Lille, France. (2008). Graphical array specification for parallel and distributed computing (GASPARD2). http://gforge.inria.fr/projects/gaspard2/.

  • Darte A., Robert Y. (1994) Constructive methods for scheduling uniform loop nests. IEEE Transactions on Parallel Distributed Systems 5(8): 814–822

    Article  Google Scholar 

  • de Dinechin, F., Quinton, P., & Risset, T. (1995). Structuration of the alpha language. In Programming models for massively parallel computers (pp. 18–24). Berlin, Germany.

  • Demeure, A., & Del Gallo, Y. (1998). An array approach for signal processing design. In Sophia-Antipolis conference on micro-electronics (SAME 98), France.

  • Demeure, A., Lafarge, A., Boutillon, E., Rozzonelli, D., Dufourd, J.-C., & Marro, J.-L. (1995). Array-OL: Proposition d’un formalisme tableau pour le traitement de signal multi-dimensionnel. In Gretsi, Juan-Les-Pins, France (In French).

  • Dumont, P. (2005). Spécification Multidimensionnelle pour le traitement du signal systématique. Thése de doctorat (PhD Thesis), Laboratoire d’informatique fondamentale de Lille, Université des sciences et technologies de Lille.

  • Dumont, P., & Boulet, P. (2005). Another multidimensional synchronous dataflow: Simulating Array-OL in ptolemy II. Research Report RR-5516, INRIA.

  • Gamatié, A., Rutten, E., Yu, H., Boulet, P., & Dekeyser, J.-L. (2008). Synchronous modeling and analysis of data intensive aplications. EURASIP Journal on Embedded Systems, Article ID 561863, p. 22.

  • Gaudiot, J.-L., DeBoni, T., Feo, J., Böhm, W., Najjar, & W., Miller, P. (2001). Compiler optimizations for scalable parallel systems: Languages, compilation techniques, and run time systems. The Sisal project: Real world functional programming (pp. 45–72). NY, USA: Springer-Verlag.

  • Glitia, C. & Boulet, P. (2008). High level loop transformations for multidimensional signal processing embedded applications. In SAMOS 2008 workshop, Samos, Greece.

  • Joachim Keinert, J. T., & Haubelt, C. (2005). Windowed synchronous data flow. Technical report co-design-report 02, 2005. Department of Computer Science 12, Hardware-Software-Co-Design, University of Erlangen-Nuremberg, Am Weichselgarten 3, D-91058 Erlangen, Germany.

  • Karp R.M., Miller R.E., Winograd S. (1967) The organization of computations for uniform recurrence equations. Journal of ACM 14(3): 563–590

    Article  MATH  MathSciNet  Google Scholar 

  • Keinert, J., Haubelt, C., & Teich, J. (2006). Modeling and analysis of windowed synchronous algorithms. In International conference on acoustics, speech and signal processing (ICASSP) (pp. III-892– III-895).

  • Labbani, O., Dekeyser, J.-L., Boulet, P., & Éric Rutten. (2005). Introducing control in the Gaspard2 data-parallel metamodel: Synchronous approach. International workshop MARTES: Modeling and analysis of real-time and embedded systems (in conjunction with 8th international conference on model driven engineering languages and systems, MoDELS/UML 2005).

  • Labbani, O., Dekeyser, J.-L., Boulet, P., & Rutten, E. (2006). UML2 profile for modeling controlled data parallel applications. In FDL’06: Forum on specification and design languages, Darmstadt, Germany.

  • Le Beux, S., Marquet, P., & Dekeyser, J.-L. (2007). A design flow to map parallel applications onto FPGAs. In 17th IEEE international conference on field programmable logic and applications, FPL, Amsterdam, Netherlands.

  • Le Verge H., Mauras C., Quinton P. (1991) The alpha language and its use for the design of systolic arrays. The Journal of VLSI Signal Processing 3(3): 173–182

    Article  Google Scholar 

  • Lee, E. A. (1993). Multidimensional streams rooted in dataflow. In Proceedings of the IFIP working conference on architectures and compilation techniques for fine and medium grain parallelism, Orlando, Florida, North-Holland.

  • Lee, E. A., & Messerschmitt, D. G. (1987a). Static scheduling of synchronous data flow programs for digital signal processing. IEEE Transactions on Computers.

  • Lee E.A., Messerschmitt D.G. (1987b) Synchronous data flow. Proceedings of the IEEE 75(9): 1235–1245

    Article  Google Scholar 

  • Murthy, P., & Lee, E. A. (1995). A generalization of multidimensional synchronous dataflow to arbitrary sampling lattices. Technical report UCB/ERL M95/59, EECS Department, University of California, Berkeley.

  • Murthy, P. K. (1996). Scheduling techniques for synchronous and multidimensional synchronous dataflow. PhD thesis, University of California: Berkeley, CA.

  • Murthy P.K., Lee E.A. (2002) Multidimensional synchronous dataflow. IEEE Transactions on Signal Processing 50(8): 2064–2079

    Article  Google Scholar 

  • Piel, E., Attitalah, R. B., Marquet, P., Meftali, S., Niar, S., Etien, A., Dekeyser, J.-L., & Boulet, P. (2008). Gaspard2: From MARTE to SystemC simulation. In Modeling and analyzis of real-time and embedded systems with the MARTE UML profile DATE’08 workshop.

  • ProMarte partners. (2008). UML profile for MARTE, Beta 2. http://www.omgmarte.org/Documents/Specifications/08-06-09.pdf.

  • Le Beux, S., Marquet, P., & Dekeyser, J-.L. (2008). A design space exploration flow for fpga implementation of intensive signal processing applications. In Conference on design and architectures for signal and image processing (DASIP 2008), Bruxelles, Belgium.

  • Scholz S.-B. (2003) Single assignment c: Efficient support for high-level array operations in a functional setting. J. Funct. Program. 13(6): 1005–1059

    Article  MATH  MathSciNet  Google Scholar 

  • Soula, J. (2001). Principe de Compilation d’un Langage de Traitement de Signal. Thèse de doctorat (PhD Thesis), Laboratoire d’informatique fondamentale de Lille, Université des sciences et technologies de Lille (In French).

  • Soula, J., Marquet, P., Dekeyser, J.-L., & Demeure, A. (2001). Compilation principle of a specification language dedicated to signal processing. In Sixth international conference on parallel computing technologies, PaCT 2001, Novosibirsk, Russia. Lecture Notes in Computer Science (Vol. 2127, pp. 358–370).

  • Thies, W., Karczmarek, M., & Amarasinghe, S. (2002). StreamIt: A language for streaming applications. In Compiler construction: 11th international conference, CC 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002, Proceedings. Volume of 2304/2002 of Lecture Notes in Computer Science (pp. 49–84). Springer Berlin: Heidelberg.

  • Yu, H., Gamatié, A., Éric Rutten, & Dekeyser, J.-L. (2008). Embedded systems specification and design languages, selected papers from FDL 2007. Model transformations from a data parallel formalism towards synchronous languages. Springer.

Download references

Author information

Authors and Affiliations

  1. INRIA Lille - Nord Europe, Parc Scientifique de la Haute Borne, 40, Avenue Halley, Bât.A, Park Plaza, 59650, Villeneuve d’Ascq, France

    Calin Glitia

  2. NXP Eindhoven, Eindhoven, The Netherlands

    Philippe Dumont

  3. LIFL, Université de Lille 1, Cité Scientifique, 59 655, Villeneuve d’Ascq Cedex, France

    Pierre Boulet

Authors
  1. Calin Glitia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippe Dumont
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pierre Boulet
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pierre Boulet.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Glitia, C., Dumont, P. & Boulet, P. Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing. Multidim Syst Sign Process 21, 105–131 (2010). https://doi.org/10.1007/s11045-009-0085-4

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11045-009-0085-4

Keywords

Search

Navigation