1163 search results - page 100 / 233 » Case Studies of Model Checking for Embedded System Designs |
136
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
130
click to vote
IFIP13
2004
15 years 5 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
139
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
190
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
158
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...