1784 search results - page 184 / 357 » Formal Models for Embedded System Design |
174
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
180
click to vote
VLSID
1999
IEEE
15 years 7 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
123
click to vote
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
115
click to vote
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...