250 search results - page 32 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
ISMIR
2001
Springer
15 years 1 months ago
2001
Springer
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
ICC
2009
IEEE
14 years 7 months ago
2009
IEEE
OFDM/OQAM has been considered as an attractive alternative to classic OFDM with cyclic prefix (CP) over doubly dispersive channels. By utilising well designed pulse shapes and remo...
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
We consider the scheduling of a sporadic real-time task system on an identical multiprocessor. Though Pfair algorithms are theoretically optimal for such task systems, in practice...
HYBRID
2001
Springer
15 years 1 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
FMCAD
2007
Springer
15 years 1 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...