1456 search results - page 64 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
153
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
155
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
260
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
174
click to vote
SASO
2007
IEEE
16 years 20 days ago
2007
IEEE
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
146
click to vote
DFT
2003
IEEE
15 years 11 months ago
2003
IEEE
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...