1917 search results - page 135 / 384 » User Model and Utility Based Power Management |
110
click to vote
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
118
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
“MegaProto” is a proof-of-concept prototype for our project “Mega-Scale Computing Based on Low-Power Technology and Workload Modeling”, implementing our key idea that a mi...
115
click to vote
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
113
click to vote
ICDCS
2011
IEEE
14 years 1 months ago
2011
IEEE
— In the emerging cloud computing paradigm, data owners become increasingly motivated to outsource their complex data management systems from local sites to the commercial public...
120
click to vote
DAWAK
2001
Springer
15 years 6 months ago
2001
Springer
Tree based indexing structures like -trees, ·-trees, Bitmap indexes and Ê-trees have become essential for getting good performance when accessing vast datasets. However, most dat...