期刊


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

2019, vol.23, no.1/2 2019, vol.23, no.3/4

题名作者出版年年卷期
Memphis: a framework for heterogeneous many-core SoCs generation and validationRuaro, Marcelo; Caimi, Luciano L.; Fochi, Vinicius; Moraes, Fernando G.20192019, vol.23, no.3/4
Code generation for distributed embedded systems with VDM-RTHasanagic, Miran; Fabbri, Tommaso; Larsen, Peter Gorm; Bandur, Victor; Tran-Jorgensen, Peter; Ouy, Julien20192019, vol.23, no.3/4
On embedding a hardware description language in Isabelle/HOLKhan, Wilayat; Sanan, David; Hou, Zhe; Yang, Liu20192019, vol.23, no.3/4
A model-driven framework for design and verification of embedded systems through SystemVerilogAnwar, Muhammad Waseem; Rashid, Muhammad; Azam, Farooque; Kashif, Muhammad; Butt, Wasi Haider20192019, vol.23, no.3/4
Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurationsMayank, Jaishree; Mondal, Arijit; Sarkar, Arnab20192019, vol.23, no.3/4
A survey on partitioning models, solution algorithms and algorithm parallelization for hardware/software co-designHou, Neng; Yan, Xiaohu; He, Fazhi20192019, vol.23, no.1/2
A fast and accurate hybrid fault injection platform for transient and permanent faultsSartor, Anderson L.; Becker, Pedro H. E.; Beck, Antonio C. S.20192019, vol.23, no.1/2
Special issue with selected papers from 2017 Brazilian Symposium on Computer Engineering (SBESC 2017)Miranda Nacif, Jose Augusto; Oyamada, Marcio Seiji20192019, vol.23, no.1/2
A distributed algorithm to schedule TSCH links under the SINR modelda Silva, Jose Carlos; Assis, Flavio20192019, vol.23, no.1/2
Trace-driven and processing time extensions for Noxim simulatorPedroso Pires, Ivan Luiz; Zanata Alves, Marco Antonio; Pessoa Albini, Luiz Carlos20192019, vol.23, no.1/2



制造业外文文献服务平台