59 search results - page 12 / 12 » Parametric Representations of Boolean Constraints |
122
click to vote
CAD
2004
Springer
14 years 11 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
119
click to vote
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
102
Voted
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
88
Voted
TOH
2008
14 years 11 months ago
2008
Real-time evaluation of distributed contact forces between rigid or deformable 3D objects is a key ingredient of 6-DoF force-feedback rendering. Unfortunately, at very high tempora...