期刊


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

2000, vol.5, no.1 2000, vol.5, no.2 2000, vol.5, no.3-4 2000, vol.6, no.1

题名作者出版年年卷期
Assessing probabilistic timing constraints on system performanceG. De Veciana; M. Jacome; Jian-Huei Guo20002000, vol.5, no.1
Functional validation of mixed hardware/software systems based on specification, partitioning, and simulation of test casesAxel Jantsch; Johann Notbauer; Thomas Albrecht20002000, vol.5, no.1
Multi-valued performance metrics for real-time embedded systemsXiaobo (Sharon) Hu; Rajeshkumar S. Sambandam20002000, vol.5, no.1
Synthesis for mixed arithmeticAnne Mignotte; Jean-Michel Muller; Olivier Peyran20002000, vol.5, no.1



制造业外文文献服务平台