447 search results - page 34 / 90 » Bounded Model Checking with Parametric Data Structures |
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
TLDI
2003
ACM
14 years 28 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
GRAPHITE
2003
ACM
14 years 28 days ago
2003
ACM
When working on fitting leaf surfaces for use with virtual plant models [Room et al. 1996] we encountered the unsatisfactory situation of receiving a smooth surface model that is...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
We present the “Dynamic Packing Grid” (DPG) data structure along with details of our implementation and performance results, for maintaining and manipulating flexible molecul...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...