Storage management in process networks using the lexicographically maximal preimage
- 2 March 2004
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
At the Leiden embedded research center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn process networks (KPNs). In general, these signal processing applications are data-flow intensive, requiring large storage capacities, usually represented by matrices. An important issue in Compaan is the derivation of a memory management mechanism that allows for efficient interprocess communication. This mechanism has previously been published and is called the extended linearization model (ELM). The controller needed in the ELM is derived using the Ehrhart theory, leading to a computational intensive procedure. We present a new approach to derive the ELM controller, based on the notion of lexicographically maximal preimage. Using polytope manipulations and parametric integer linear programming techniques, we get less computational intensive and easier to be derived controller implementation for the ELM.Keywords
This publication has 5 references indexed in Scilit:
- System level design with SPADE: an M-JPEG case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compilation From Matlab to Process Networks Realized in FPGADesign Automation for Embedded Systems, 2002
- A LIBRARY FOR DOING POLYHEDRAL OPERATIONSParallel Algorithms and Applications, 2000
- CompaanPublished by Association for Computing Machinery (ACM) ,2000
- A practical algorithm for exact array dependence analysisCommunications of the ACM, 1992