4273 search results - page 730 / 855 » Autonomic power and performance management for computing sys... |
129
Voted
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
132
click to vote
CASES
2008
ACM
15 years 3 months ago
2008
ACM
While customizable processors aim at combining the flexibility of general purpose processors with the speed and power advantages of custom circuits, commercially available process...
DAC
2001
ACM
16 years 2 months ago
2001
ACM
We present a methodology for microarchitectural customization of embedded processors by exploiting application information, thus attaining the twin benefits of processor standardi...
103
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— We present a refined, second-generation design, construction and integration, of a compact hyper-redundant snakelike robot, called “Woodstock.” This robot has substantial a...