663 search results - page 37 / 133 » Synthesis of Self-Testable Controllers |
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
120
click to vote
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
135
click to vote
BIRTHDAY
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...