Author:
Zhang Jiaxing,Schirner Gunar
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference59 articles.
1. Abdi S, Gajski D (2006) Verification of system level model transformations. Int J Parallel Program 34(1):29–59
2. Altintas I, Berkley C, Jaeger E, Jones M, Ludascher B, Mock S (2004) Kepler: an extensible system for design and execution of scientific workflows. In: Proceedings of the 16th international conference on scientific and statistical database management, pp 423–424
3. Baleani M, Ferrari A, Mangeruca L, Sangiovanni-vincentelli AL, Freund U, Schlenker E, J. Wolff H (2005) Correct-by-construction transformations across design environments for modelbased embedded software development. In: Proceedings of the conference on design, automation and test in Europe (DATE)
4. Boland JF, Thibeault C, Zilic Z (2005) Using MATLAB and simulink in a SystemC verification environment. In: Proceedings of design and verification conference, DVCon
5. Cai L, Gerstlauer A, Gajski DD (2004) Retargetable profiling for rapid, early system-level design space exploration. In: Proceedings of the design automation conference (DAC). San Diego, CA
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SCE: System-on-Chip Environment;Handbook of Hardware/Software Codesign;2017
2. SCE: System-on-Chip Environment;Handbook of Hardware/Software Codesign;2016