4586 search results - page 662 / 918 » Computing stable models in parallel |
152
click to vote
EUROPAR
2011
Springer
14 years 4 months ago
2011
Springer
: Tuning numerical libraries has become more difficult over time, as systems get more sophisticated. In particular, modern multicore machines make the behaviour of algorithms hard ...
177
Voted
ICDCN
2012
Springer
13 years 11 months ago
2012
Springer
Synchronization in distributed systems is expensive because, in general, threads must stall to obtain a lock or to operate on volatile data. Transactional memory, on the other hand...
130
Voted
PODC
2012
ACM
13 years 6 months ago
2012
ACM
Two new algorithms are given for randomized consensus in a shared-memory model with an oblivious adversary. Each is based on a new construction of a conciliator, an object that gu...
145
click to vote
PODC
1999
ACM
15 years 8 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
159
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...