741 search results - page 102 / 149 » A Novel Approach for Hardware Based Sound Classification |
112
click to vote
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
We analyze the performance of CPU-bound network servers and demonstrate experimentally that the degradation in the performance of these servers under highconcurrency workloads is ...
128
Voted
CODES
1996
IEEE
15 years 8 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
125
Voted
ICCAD
2004
IEEE
16 years 20 days ago
2004
IEEE
In this paper we propose a RObust Analog Design tool (ROAD) for post-tuning analog/RF circuits. Starting from an initial design derived from hand analysis or analog circuit synthe...
134
Voted
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
122
Voted
ASPDAC
1998
ACM
15 years 7 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...