1738 search results - page 105 / 348 » Local Consistency and SAT-Solvers |
234
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
We propose to demonstrate SEMMO, a consistency server for MMOs. The key features of SEMMO are its novel distributed consistency protocol and system architecture. The distributed n...
162
click to vote
ACCV
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. In this paper, we propose an efficient method for finding consistent correspondences between two sets of features. Our matching algorithm augments the discriminative pow...
168
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
158
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
147
click to vote
CP
1999
Springer
15 years 10 months ago
1999
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...