Sciweavers

1324 search results - page 20 / 265
» Automation Controller for Operational IT Management
Sort
View
AIMS
2009
Springer
14 years 3 months ago
Dynamics of Resource Closure Operators
Abstract. We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manag...
Alva L. Couch, Marc Chiarini
OIR
2008
103views more  OIR 2008»
13 years 8 months ago
ScienceTreks: an autonomous digital library system
The support for automation of the annotation process of large corpora of digital content is crucial for the success of semanticaware services in the digital library domain. In this...
Alexander Ivanyukovich, Maurizio Marchese, Fausto ...
SOSP
2007
ACM
14 years 5 months ago
Integrating concurrency control and energy management in device drivers
Energy management is a critical concern in wireless sensornets. Despite its importance, sensor network operating systems today provide minimal energy management support, requiring...
Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wo...
FROCOS
2009
Springer
14 years 3 months ago
Combining Theories with Shared Set Operations
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
Thomas Wies, Ruzica Piskac, Viktor Kuncak
HPCA
2001
IEEE
14 years 9 months ago
DRAM Energy Management Using Software and Hardware Directed Power Mode Control
While there have been several studies and proposals for energy conservation for CPUs and peripherals, energy optimization techniques for selective operating mode control of DRAMs ...
Victor Delaluz, Mahmut T. Kandemir, Narayanan Vija...