1929 search results - page 231 / 386 » Change Propagation Analysis Using Domain Information |
160
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
146
Voted
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Slow convergence in the Internet can be directly attributed to the “path exploration” phenomenon, inherent in all path vector protocols. The root cause for path exploration...
160
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Distance vector routing protocols (e.g., RIP) have been widely used on the Internet, and are being adapted to emerging wireless ad hoc networks. However, it is well-known that exis...
155
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
149
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We address the problem of message ordering for reliable multicast communication. End-to-end multicast ordering is useful for ensuring the collective integrity and consistency of d...