295 search results - page 21 / 59 » Simultaneous Quantifier Elimination |
VLSID
2005
IEEE
14 years 9 months ago
2005
IEEE
Inter-wire coupling is a major source of power consumption and delay faults for on-chip buses implemented in UDSM SoC Systems. Elimination or minimization of such faults is crucia...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
—The purpose of this paper is to compare two interference avoidance techniques for time division duplex (TDD) wireless networks, viz.: a novel technique termed asymmetry balancin...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we describe a novel uncalibrated active stereo system using coded structured light. Structured-light-based active stereo systems generally consist of a camera and pr...
PATMOS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...