Software synthesis of CAL actors for the MPEG reconfigurable Video Coding framework

作者: Ghislain Roquier , Matthieu Wipliez , Mickael Raulet , Jean-Francois Nezan , Olivier Deforges

DOI: 10.1109/ICIP.2008.4712028

关键词:

摘要: The MPEG reconfigurable video coding (RVC) framework aims to provide a unified specification of all technology. In this framework, decoder is modularly built as configuration tools taken from the toolbox library. elements library are specified using CAL actor language. dataflow based language providing computation models that concurrent and modular. This paper presents synthesis tool generates C code. Indeed, code generators fundamental supports for deployment success RVC framework. focuses on automatic translation actor. approach has been used obtain implementation inverse DCT module which part MPEG-4 Simple Profile decoder, chosen by experts validate approach. generated validated against original description simulated Open Dataflow environment.

参考文章(6)
Gilles Kahn, The Semantics of a Simple Language for Parallel Programming. ifip congress. pp. 471- 475 ,(1974)
George C. Necula, Scott McPeak, Shree P. Rahul, Westley Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs compiler construction. pp. 213- 228 ,(2002) , 10.1007/3-540-45937-5_16
Christophe Lucarz, Marco Mattavelli, Joseph Thomas-Kerr, Jorn Janneck, Reconfigurable Media Coding: A New Specification Model for Multimedia Coders signal processing systems. pp. 481- 486 ,(2007) , 10.1109/SIPS.2007.4387595
Thorsten Grotker, System Design with SystemC ,(2002)
Luis Damas, Robin Milner, Principal type-schemes for functional programs Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. pp. 207- 212 ,(1982) , 10.1145/582153.582176
D. G. Messerschmitt, E. A. Lee, Static scheduling of synchronous data flow programs for digital signal processing Tutorial: hard real-time systems. pp. 237- 248 ,(1989)