1728 search results - page 59 / 346 » The Size of Power Automata |
ISLPED
2004
ACM
15 years 5 months ago
2004
ACM
—This paper presents a method that uses data buffers to create long periods of idleness to exploit power management. This method considers the power consumed by the buffers and a...
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents a method to reduce energy consumption by inserting data buffers. The method determines whether power can be reduced by inserting a buffer between two component...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
The width of an interconnect line a ects the total power consumed by a circuit. A tradeo exists, however, between the dynamic power and the short-circuit power in determining the ...
ISQED
2006
IEEE
15 years 5 months ago
2006
IEEE
The continuing VLSI technology scaling leads to increasingly significant power supply fluctuations, which need to be modeled accurately in circuit design and verification. Meanwhi...
FSTTCS
2008
Springer
15 years 29 days ago
2008
Springer
We present a polynomial-time reduction from parity games with imperfect information to safety games with imperfect information. Similar reductions for games with perfect informatio...