Sciweavers

2067 search results - page 108 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
132
Voted
HIPEAC
2007
Springer
15 years 6 months ago
Efficient Program Power Behavior Characterization
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
Chunling Hu, Daniel A. Jiménez, Ulrich Krem...
133
Voted
KDD
2009
ACM
168views Data Mining» more  KDD 2009»
16 years 3 months ago
Sustainable operation and management of data center chillers using temporal data mining
Motivation: Data centers are a critical component of modern IT infrastructure but are also among the worst environmental offenders through their increasing energy usage and the re...
Debprakash Patnaik, Manish Marwah, Ratnesh K. Shar...
112
Voted
FMCAD
2007
Springer
15 years 6 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
RTAS
1997
IEEE
15 years 6 months ago
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
Monica Brockmeyer, Farnam Jahanian, Constance L. H...
97
Voted
ISMIR
2004
Springer
173views Music» more  ISMIR 2004»
15 years 8 months ago
Stochastic Model of a Robust Audio Fingerprinting System
An audio fingerprint is a compact representation of the perceptually relevant parts of audio content. A suitable audio fingerprint can be used to identify audio files, even if ...
Peter Jan O. Doets, Reginald L. Lagendijk