期刊


ISSN0929-5585
刊名Design automation for embedded systems
参考译名嵌入系统设计自动化
收藏年代2000～2023



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022 2023

2007, vol.11, no.1 2007, vol.11, no.2-3 2007, vol.11, no.4

题名作者出版年年卷期
ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modellingShankar Mahadevan; Kashif Virk; Jan Madsen20072007, vol.11, no.4
Memory-efficient multithreaded code generation from Simulink for heterogeneous MPSoCSang-Il Han; Soo-Ik Chae; Lisane Brisolara; Luigi Carro; Ricardo Reis; Xavier Guerin; Ahmed Amine Jerraya20072007, vol.11, no.4
Fast cycle-approximate MPSoC simulation based on synchronization time-point predictionJinyong Jung; Sungjoo Yoo; Kiyoung Choi20072007, vol.11, no.4
Scheduling with accurate communication delay model and scheduler implementation for multiprocessor system-on-chipYoungchul Cho; Nacer-Eddine Zergainoh; Sungjoo Yoo; Ahmed Amine Jerraya; Kiyoung Choi20072007, vol.11, no.2-3
Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specificationsChulho Shin; Peter Grun; Nizar Romdhane; Christopher Lennard; Gabor Madl; Sudeep Pasricha; Nikil Dutt; Mark Noll20072007, vol.11, no.2-3
A rule-based availability-driven cosynthesis schemeShampa Chakraverty; Anil Kumar20072007, vol.11, no.2-3
SystemC co-simulation for core-based embedded systemsFranco Fummi; Mirko Loghi; Giovanni Perbellini; Massimo Poncino20072007, vol.11, no.2-3
SystemQ: Bridging the gap between queuing-based performance evaluation and SystemCSoren Sonntag; Matthias Gries; Christian Sauer20072007, vol.11, no.2-3
Formal verification of component-based designsDaniel Karlsson; Petru Eles; Zebo Peng20072007, vol.11, no.1
Efficient architecture/compiler co-exploration using analytical modelsCristina Silvano; Giovanni Agosta; Gianluca Palermo20072007, vol.11, no.1
12



制造业外文文献服务平台