1163 search results - page 26 / 233 » Case Studies of Model Checking for Embedded System Designs |
118
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a methodology to generate a hierarchy of power models for power estimation of custom hardware IP blocks, enabling a trade-off between power estimation accuracy...
169
Voted
SIES
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
115
click to vote
ISLPED
2010
ACM
15 years 2 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
102
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
139
click to vote
KCAP
2009
ACM
15 years 8 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...