177 search results - page 1 / 36 » How to be correct, lazy and efficient |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
ICDE
2004
IEEE
14 years 6 months ago
2004
IEEE
Lazy replication is a popular technique for improving the performance and availability of database systems. Although there are concurrency control techniques which guarantee seria...
CP
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
PODC
1997
ACM
13 years 9 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...