7167 search results - page 1138 / 1434 » A Technique for Invariant Generation |
225
Voted
SIGGRAPH
1995
ACM
15 years 11 months ago
1995
ACM
This paper presents a hybrid model for animation of soft inelastic substance which undergo topological changes, e.g. separation and fusion and which fit with the objects they are...
248
Voted
SMA
1995
ACM
15 years 11 months ago
1995
ACM
This paper presents a new computational method for fully automated triangular mesh generation, consistently applicable to wire-frame, surface, solid, and nonmanifold geometries. T...
204
Voted
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a new min-cut based placement algorithm for large scale sea-of-gates arrays. In the past all such algorithms used a xed cut line sequence that is determined before min...
172
click to vote
SIGGRAPH
1991
ACM
15 years 11 months ago
1991
ACM
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...
206
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...