3575 search results - page 406 / 715 » Modeling Concurrency with Geometry |
187
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
212
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML processing models, allow for highly concurrent transaction processing on XML tre...
227
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
206
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
156
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We study the scenario of a multiview setting, where several
calibrated views of a textured object with known surface
geometry are available. The objective is to estimate a
diffu...