Classification of general data flow actors into known models of computation

Proceedings - 6th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'08

Volumn , Issue , 2008, Pages 119-128

  Zebelein, Christian ^a   Falk, Joachim ^a   Haubelt, Christian ^a   Teich, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC INDEXING; CLASSIFICATION (OF INFORMATION); COBALT; COBALT COMPOUNDS; COMPUTER NETWORKS; DATA PROCESSING; FORMAL METHODS; GRAPH THEORY; HAND TOOLS; KETONES; OPTIMIZATION; SCHEDULING; SIGNAL PROCESSING;

DATA FLOWS; OPTIMIZATION METHODS;

DATA FLOW ANALYSIS;

EID: 51349156606     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2008.4547699     Document Type: Conference Paper

References (19)

1. M. Baird, editor. IEEE Standard 1666-2005 SystemC Language Reference Manual. IEEE Standards Association, New Jersey, USA, 2005.
2. M. Baleani, A. Ferrari, L. Mangeruca, A. Sangiovanni-Vincentelli, U. Freund, E. Schlenker, and H.-J. Wolff. Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. In Proceedings of DATE. IEEE Computer Society, Mar. 2005.
3. B. Bhattacharya and S. Bhattacharyya. Parameterized Dataflow Modeling of DSP Systems. In Proceedings of ICASSP, pages 1948-1951, June 2000.
4. S. S. Bhattacharyya, R. Leupers, and P. Marwedel. Software synthesis and code generation for signal processing systems. IEEE Transactions on Circuits and Systems, 47(9), Sept. 2000.
5. O. Bilsen, M. Engels, R. Lauwereins, and J. Peperstraete. Cyclo-Static Dataflow. IEEE Transaction on Signal Processing, 44(2):397-408, Feb. 1996.
6. E. A. de Kock, G. Essink, W. J. M. Smits, P. van der Wolf, J.-Y. Brunei, W. M. Kruijtzer, P. Lieverse, and K. A. Vissers. YAPI: Application Modeling for Signal Processing Systems. In Proceedings of DAC, pages 402-405, June 2000.
7. S. A. Edwards and O. Tardieu. SHIM: A Deterministic Model for Heterogeneous Embedded Systems. In Proceedings of EMSOFT, pages 264-272, 2005.
8. T. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
9. A. Habibi, H. Moinudeen, and S. Tahar. Generating Finite State Machines from System C. In Proceedings of DATE, pages 76-81. IEEE Computer Society, Mar. 2006.
10. A. Habibi, S. Tahar, A. Samarah, D. Li, and O. A. Mohamed. Efficient Assertion Based Verification using TLM. In Proceedings of DATE, pages 106-111. IEEE Computer Society, Mar. 2006.
11. G. Kahn. The semantics of simple language for parallel programming. In IFIP Congress, pages 471-475, 1974.
12. E. A. Lee. Overview of the ptolemy project, technical memorandum no. ucb/erl m03/25. Technical report, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, 94720, USA, July 2004.
13. E. A. Lee and D. G. Messersehmitt. Synchronous Data Flow. Proceedings of the IEEE, 75(9):1235-1245, Sept. 1987.
14. E. A. Lee and A. Sangiovanni-Vincentelli. A Framework for Comparing Models of Computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217-1229, Dec. 1998.
15. B. Niemann, C. Haubelt, M. Uribe, and J. Teich. Formalizing TLM with Communicating State Machines. In S. A. Huss, editor, Advances in Design and Specification Languages for Embedded Systems, pages 225-242. Springer, 2007.
16. H. D. Patel and S. K. Shukla. Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 24, pages 1261-1271, Washington, D.C., Aug. 2005.
17. A. Rose, S. Swan, J. Pierce, and J.-M. Fernandez. Transaction level modeling in System C. 2004.
18. K. Strehl, L. Thiele, M. Gries, D. Ziegenbein, R. Ernst, and J. Teich. FunState - An Internal Design Representation for Codesign. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 9(4):524-544, Aug. 2001.
19. D. Ziegenbein, K. Richter, R. Ernst, L. Thiele, and J. Teich. SPI-a system model for heterogeneously specified embedded systems. IEEE Trans. on VLSI Systems, 2002.