IDF models for trace transformations: A case study in computational refinement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3133, Issue , 2004, Pages 178-187

  Erbas, Cagkan ^a   Polstra, Simon ^a   Pimentel, Andy D ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; EMBEDDED SYSTEMS;

APPLICATION MODELING; ARCHITECTURE MODELING; ARCHITECTURE MODELS; COMMUNICATION REFINEMENT; EFFICIENT DESIGN SPACE EXPLORATIONS; HETEROGENEOUS EMBEDDED SYSTEM; MODELING TECHNIQUE; TRACE-TRANSFORMATION;

DATA FLOW ANALYSIS;

EID: 35048861892     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27776-7_19     Document Type: Article

References (15)

1. F. Balarin et al. Metropolis: An integrated electronic system design environment. IEEE Computer, Apr. 2003.
2. L. Benini et al. SystemC cosimulation and emulation of multiprocessor SoC designs. IEEE Computer, Apr. 2003.
3. S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee. Software Synthesis from Dataflow Graphs. Kluwer Academic Publishers, 1996.
4. J. T. Buck. Scheduling Dynamic Dataflow Graphs with Bounded Memory using the Token Flow Model. PhD thesis, Dept. of EECS, UC Berkeley, 1993.
5. J. T. Buck. Static scheduling and code generation from dynamic dataflow graphs with integer valued control streams. In Proc. of the 28th Asilomar Conference on Signals, Systems, and Computers, Oct. 1994.
6. J. E. Coffland and A. D. Pimentel. A software framework for efficient system-level performance evaluation of embedded systems. In Proc. of the ACM Symposium on Applied Computing, Mar. 2003.
7. D. Gajski et al. The SpecC Language. Kluwer Academic Publishers, 1997.
8. G. Kahn. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress, 1974.
9. E. A. Lee and D. G. Messerschmitt. Synchronous Data Flow. Proc. of the IEEE, Sep. 1987.
10. E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Trans. on CAD, Dec. 1998.
11. P. Lieverse et al. A trace transformation technique for communication refinement. In Proc. of the IEEE/ACM CODES, Apr. 2001.
12. P. Lieverse et al. A methodology for architecture exploration of heterogeneous signal processing systems. In Proc. of the IEEE Workshop SiPS, Oct. 1999.
13. A. D. Pimentel and C. Erbas. An IDF-based trace transformation method for communication refinement. In Proc. of the ACM/IEEE DAC, June 2003.
14. A. D. Pimentel et al. Exploring embedded-systems architectures with Artemis. IEEE Computer, Nov. 2001.
15. V. Živković et al. Design space exploration of streaming multiprocessor architectures. In Proc. of the IEEE Workshop SiPS, Oct. 2002.