194 search results - page 25 / 39 » A static power model for architects |
GRAPHICSINTERFACE
2004
14 years 11 months ago
2004
We present a system for creating interactive exploded view diagrams using 2D images as input. This imagebased approach enables us to directly support arbitrary rendering styles, e...
101
click to vote
JFP
2008
14 years 9 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
60
Voted
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
: Empirical analyses of the IDDQ signatures of 0.18 µm devices indicate that IDDQ currents exhibit hysteresis. A newly proposed test method, SPIRIT (Single Pattern Iteration IDDQ ...
101
click to vote
ICRA
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper proposes a throwing manipulation strategy for a robot with one revolute joint. The throwing manipulation enables the robot not only to manipulate the object to outside o...