804 search results - page 99 / 161 » On the Termination of the Chase Algorithm |
105
click to vote
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
86
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
89
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
In spite of the recent improvements in the performance of Answer Set Programming (ASP) solvers, when the search space is sufficiently large, it is still possible for the search al...
113
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- In this paper, we address both lifetime and survivability issues in wireless sensor networks (WSNs). We present an easy-to-implement clustering method called DED (distri...
72
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...