798 search results - page 86 / 160 » Dynamic Power Management with Hybrid Power Sources |
206
click to vote
AB
2007
Springer
16 years 14 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
170
click to vote
HIPEAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
187
click to vote
HPCA
2012
IEEE
14 years 1 months ago
2012
IEEE
Lowering supply voltage is one of the most effective techniques for reducing microprocessor power consumption. Unfortunately, at low voltages, chips are very sensitive to process ...
122
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
The recent paradigm shift to multi-core systems results in high system throughput within a specified power budget. However, future systems still require good single thread perfor...
175
click to vote
CIMCA
2008
IEEE
15 years 8 months ago
2008
IEEE
XML has emerged as a common standard for data exchange over the World Wide Web. One way to manage XML data is to use the power of relational databases for storing and q...