1022 search results - page 37 / 205 » The Modelling of Embedded Systems Using HASoC |
152
click to vote
CODES
2006
IEEE
16 years 19 hour 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...
180
click to vote
ATS
2010
IEEE
15 years 1 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...
148
click to vote
PRDC
2008
IEEE
16 years 10 days 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...
180
click to vote
DSRT
2005
IEEE
15 years 11 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...
185
click to vote
FMICS
2009
Springer
15 years 9 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...