854 search results - page 1 / 171 » Timing coverification of concurrent embedded real-time syste... |
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
CODES
1999
IEEE
13 years 9 months ago
1999
IEEE
ISSS
2002
IEEE
13 years 10 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...
RTCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
RTCSA
2008
IEEE
13 years 11 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...