251 search results - page 31 / 51 » The Case for Higher-Level Power Management |
ICIS
1998
14 years 11 months ago
1998
This paper discusses IT infrastructure development and use in the European fertilizer division of Norsk Hydro. The main element of the infrastructure discussed is a new SAP-based ...
119
click to vote
EDBT
2012
ACM
13 years 21 hour ago
2012
ACM
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...
IWMM
2007
Springer
15 years 3 months ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Scratch-pad memory is becoming an important fixture in embedded multimedia systems. It is significantly more efficient than the cache, in performance and power, and has the add...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...