740 search results - page 70 / 148 » Constraints in Object-Oriented Analysis and Design |
AGP
1995
IEEE
14 years 15 days ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
timing analysis tools to replace standard deterministic static timing analyzers whereas [8,27] develop approaches for the statistical estimation of leakage power considering within...
VTS
1999
IEEE
14 years 1 months ago
1999
IEEE
A low-cost on-line test scheme for digital filters is proposed. The scheme uses an invariant of the digital filter, the frequency response at specific points, in order to detect p...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...
ICCAD
1998
IEEE
14 years 1 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...