3820 search results - page 236 / 764 » Bounded Model Debugging |
153
Voted
ISITA
2010
15 years 1 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
151
Voted
JMLR
2012
13 years 6 months ago
2012
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...
123
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
128
Voted
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
We show how to greatly accelerate self-collision detection (SCD) for reduced deformable models. Given a triangle mesh and a set of deformation modes, our method precomputes Subspa...
128
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the parameter cutwidth for the Cutting Planes (CP) system of Gomory and Chv´atal. We provide linear lower bounds on cutwidth for two simple polytopes. Considering CP ...