472 search results - page 27 / 95 » Symbolic range propagation |
DATE
2005
IEEE
14 years 3 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...
CCL
1994
Springer
14 years 2 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
PLDI
1990
ACM
14 years 2 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
A major drawback of the Orthogonal Frequency Division Multiplex (OFDM) principle is the high dynamic range of the transmit signal. The transmit Power Amplifier (PA) and other ele...
AAAI
2012
12 years 11 days ago
2012
Recent work on planning in incomplete domains focuses on constructing plans that succeed despite incomplete knowledge of action preconditions and effects. As planning models becom...