Sciweavers

6308 search results - page 156 / 1262
» Modeling Urgency in Timed Systems
Sort
View
QEST
2009
IEEE
15 years 10 months ago
A Performance Model of Zoned Disk Drives with I/O Request Reordering
—Disk drives are a common performance bottleneck in modern storage systems. To alleviate this, disk manufacturers employ a variety of I/O request scheduling strategies which aim ...
Abigail S. Lebrecht, Nicholas J. Dingle, William J...
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
15 years 9 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
CPHYSICS
2011
271views Education» more  CPHYSICS 2011»
14 years 7 months ago
A dedicated algorithm for calculating ground states for the triangular random bond Ising model
In the presented article we present an algorithm for the computation of ground state spin configurations for the 2d random bond Ising model on planar triangular lattice graphs. T...
O. Melchert, A. K. Hartmann
ICASSP
2011
IEEE
14 years 7 months ago
Audio identification based on spectral modeling of bark-bands energy and synchronization through onset detection
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
Mathieu Ramona, Geoffroy Peeters
CONCUR
2006
Springer
15 years 6 months ago
Inference of Event-Recording Automata Using Timed Decision Trees
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
Olga Grinchtein, Bengt Jonsson, Paul Pettersson