Sciweavers

4985 search results - page 476 / 997
» Observation of String-Rewriting Systems
Sort
View
SOSP
1997
ACM
15 years 8 months ago
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
Stefan Savage, Michael Burrows, Greg Nelson, Patri...
AAAI
1996
15 years 8 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
WCE
2007
15 years 8 months ago
X-Ray Image Restoration in the Wavelet Domain
–—Wavelet expansions and wavelet transforms have proven to be very efficient and effective in analyzing a very wide class of signals and phenomena. Wavelet expansion allows a m...
Y. Laib dit leksir, H. Bendjama, A. Allag
ISLPED
2010
ACM
205views Hardware» more  ISLPED 2010»
15 years 7 months ago
Peak power modeling for data center servers with switched-mode power supplies
Accurately modeling server power consumption is critical in designing data center power provisioning infrastructure. However, to date, most research proposals have used average CP...
David Meisner, Thomas F. Wenisch
ICASSP
2010
IEEE
15 years 7 months ago
Stochastic pronunciation modelling and soft match for out-of-vocabulary spoken term detection
A major challenge faced by a spoken term detection (STD) system is the detection of out-of-vocabulary (OOV) terms. Although a subword-based STD system is able to detect OOV terms,...
Dong Wang, Simon King, Joe Frankel, Peter Bell