1947 search results - page 362 / 390 » Reconsidering power management |
149
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
204
click to vote
PPOPP
2006
ACM
15 years 11 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
141
click to vote
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
193
click to vote
ICPADS
2005
IEEE
15 years 11 months ago
2005
IEEE
Data warehouses store large volumes of data according to a multidimensional model with dimensions representing different axes of analysis. OLAP systems (OnLine Analytical Processi...
182
click to vote
ICPP
2005
IEEE
15 years 11 months ago
2005
IEEE
Computational grids can integrate geographically distributed resources into a seamless environment. To facilitate managing these heterogenous resources, the virtual machine gy pro...