2435 search results - page 28 / 487 » System Exploration of SystemC Designs |
ERSA
2007
13 years 10 months ago
2007
JCSC
2002
13 years 8 months ago
2002
FDL
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
JCAL
2011
12 years 12 months ago
2011
Following the increasing calls for a more skeptical analysis of web 2.0 and the empowerment of learners’ voices in formulating upcoming technologies, this paper elaborates on the...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...