3779 search results - page 595 / 756 » Linear Consistency Testing |
188
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
179
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
202
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
155
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Boosted by the Middlebury challenge, the precision of dense multi-view stereovision methods has increased drastically in the past few years. Yet, most methods, although they perfo...
189
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
Efforts are underway to make it possible for a single operator to effectively control multiple robots. In these high workload situations, many questions arise including how many r...