12333 search results - page 83 / 2467 » System Level Modelling for Hardware Software Systems |
ECBS
2004
IEEE
14 years 1 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...