1304 search results - page 128 / 261 » Model Checking C Programs Using F-SOFT |
136
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
137
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
115
click to vote
ICCAD
2001
IEEE
16 years 20 hour ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
135
click to vote
SMA
1995
ACM
15 years 6 months ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
121
click to vote
CGF
1999
15 years 2 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...