112 search results - page 1 / 23 » Compact explosion diagrams |
NPAR
2010
ACM
13 years 9 months ago
2010
ACM
This paper presents a system to automatically generate compact explosion diagrams. Inspired by handmade illustrations, our approach reduces the complexity of an explosion diagram ...
POPL
2001
ACM
14 years 4 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
FORTE
2003
13 years 5 months ago
2003
AVI
2004
13 years 5 months ago
2004
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
VLSID
2005
IEEE
13 years 10 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...