1450 search results - page 111 / 290 » On the Complexity of Hardness Amplification |
ASPDAC
2009
ACM
14 years 1 months ago
2009
ACM
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
CIKM
2001
Springer
14 years 1 months ago
2001
Springer
Speech is a tantalizing mode of human communication. On one hand, humans understand speech with ease and use speech to express complex ideas, information, and knowledge. On the ot...
ICC
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract—This paper addresses the problem of adaptive channel tracking and equalization for multi-input multi-output (MIMO) time-variant frequency-selective channels. A finite-l...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract—The future Internet is expected to support applications with quality of service (QoS) requirements. For this end several mechanisms are suggested in the IETF to support ...
FASE
1999
Springer
14 years 1 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...