804 search results - page 91 / 161 » On the Termination of the Chase Algorithm |
90
Voted
ASPDAC
2010
ACM
14 years 10 months ago
2010
ACM
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
100
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
106
Voted
FORTE
2009
14 years 10 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
We consider the problem of channel estimation for amplify-andforward (AF) two-way relay networks (TWRNs). The majority of works on this problem develop pilot-based algorithms that...
ISMVL
2007
IEEE
15 years 7 months ago
2007
IEEE
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur because of delays. Ternary simulation consists of two algorithms, A and B,...