2584 search results - page 266 / 517 » On the Forward Checking Algorithm |
116
click to vote
SIROCCO
2004
15 years 4 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
128
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
154
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
—The nodes in wireless sensor networks often collect correlated measurements. Not taking into account this information redundancy is detrimental to the network lifetime, since co...
157
click to vote
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
Geographic routing is of interest for sensor networks because a point-to-point primitive is an important building block for data-centric applications. While there is a significant...
131
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...