453 search results - page 61 / 91 » Using Symbolic Simulation for Bounded Property Checking |
SSS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— A computationally efficient optimal double correlation (ODC) filter, which works on the fourth order statistics of received samples, is proposed for carrier frequency...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
1 The first path implicit and exact non–robust path delay fault grading technique for non–scan sequential circuits is presented. Non enumerative exact coverage is obtained, b...
80
Voted
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
75
Voted
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper considers the problem of blind channel shortening in OFDM systems. Standard OFDM systems use guard interval (GI) in form of cyclic prefix (CP) and nulltones (NT) redun...