1022 search results - page 37 / 205 » The Modelling of Embedded Systems Using HASoC |
CODES
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...
ATS
2010
IEEE
13 years 5 months ago
2010
IEEE
In recent technology nodes, reliability is considered a part of the standard design flow at all levels of embedded system design. While techniques that use only low-level models at...
PRDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Advancements in technology enable integration of a large number of cores on a single silicon die. At the same time, aggressive technology scaling has an ever-increasing adverse im...
DSRT
2005
IEEE
14 years 4 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...