Sciweavers

1564 search results - page 115 / 313
» Performance Tuning of Iterative Algorithms in Signal Process...
Sort
View
129
Voted
FMCAD
2006
Springer
15 years 6 months ago
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
Tilman Glökler, Jason Baumgartner, Devi Shanm...
112
Voted
ALENEX
2007
105views Algorithms» more  ALENEX 2007»
15 years 4 months ago
ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm
We present a novel randomized approach to the graph isomorphism problem. Our algorithm aims at solving difficult instances by producing randomized certificates for non-isomorphis...
Martin Kutz, Pascal Schweitzer
114
Voted
ICPP
2003
IEEE
15 years 8 months ago
Scheduling Algorithms with Bus Bandwidth Considerations for SMPs
The bus that connects processors to memory is known to be a major architectural bottleneck in SMPs. However, both software and scheduling policies for these systems generally focu...
Christos D. Antonopoulos, Dimitrios S. Nikolopoulo...
IEEECIT
2010
IEEE
15 years 1 months ago
Research on PID Control Algorithm of BP Network based on Two Axis Digital Control Turntable
under the research context of two axis digital control turntable, this paper has set up a mathematical model of control system of turntables. Proceeding from such model, it has ma...
Jie Hao, Wenxiang Zhang, Mingqing Ling
118
Voted
ICASSP
2011
IEEE
14 years 6 months ago
An evaluation of noise power spectral density estimation algorithms in adverse acoustic environments
Noise power spectral density estimation is an important component of speech enhancement systems due to its considerable effect on the quality and the intelligibility of the enhanc...
Jalal Taghia, Jalil Taghia, Nasser Mohammadiha, Ji...