期刊


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



全部

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

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