1578 search results - page 75 / 316 » Self-healing systems - survey and synthesis |
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
The clock tree is the interconnect net on Systems-on-Chip (SoCs) with the heaviest load and consumes up to 40% of the overall power budget. Substantial savings of the overall powe...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...