3779 search results - page 595 / 756 » Linear Consistency Testing |
146
click to vote
ECLIPSE
2007
ACM
15 years 8 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...
132
click to vote
CAV
2010
Springer
15 years 8 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...
156
click to vote
CAV
2010
Springer
15 years 8 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...
116
click to vote
CVPR
2009
IEEE
15 years 8 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...
144
click to vote
HRI
2007
ACM
15 years 8 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...