中国机械工程学会生产工程分会知识服务平台

期刊


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

2014, vol.18, no.1/2 2014, vol.18, no.3/4

题名作者出版年年卷期
State-based scheduling analysis for distributed real-time systems Coping with the large state space by a compositional approachGezgin, Tayfun; Stierand, Ingo; Henkler, Stefan; Rettberg, Achim20142014, vol.18, no.1/2
Dynamically reconfigurable hardware/software mobile agentsCemin, David; Goetz, Marcelo; Eduardo Pereira, Carlos20142014, vol.18, no.1/2
Efficient schedulability tests for real-time embedded systems with urgent routinesAugusto Santos, J., Jr.; Lima, George; Bletsas, Konstantinos20142014, vol.18, no.1/2
Special issue on languages, models and model based design for embedded systems IntroductionRadetzki, Martin; Jantsch, Axel20142014, vol.18, no.1/2
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actionsBrandt, Jens; Gemuende, Mike; Schneider, Klaus; Shukla, Sandeep K.; Talpin, Jean-Pierre20142014, vol.18, no.1/2
ASDeX: a formal specification for analog circuit enabling a full automated design validationMa, Mingyu; Hedrich, Lars; Sporrer, Christian20142014, vol.18, no.1/2
State-based scheduling analysis for distributed real-time systems Coping with the large state space by a compositional approachGezgin, Tayfun; Stierand, Ingo; Henkler, Stefan; Rettberg, Achim20142014, vol.18, no.1/2
Dynamically reconfigurable hardware/software mobile agentsCemin, David; Goetz, Marcelo; Eduardo Pereira, Carlos20142014, vol.18, no.1/2
Efficient schedulability tests for real-time embedded systems with urgent routinesAugusto Santos, J., Jr.; Lima, George; Bletsas, Konstantinos20142014, vol.18, no.1/2
Special issue on languages, models and model based design for embedded systems IntroductionRadetzki, Martin; Jantsch, Axel20142014, vol.18, no.1/2
12