期刊


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

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