4745 search results - page 197 / 949 » Discretization: An Enabling Technique |
158
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
140
click to vote
GMP
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract. A new subdivision depth computation technique for extraordinary Catmull-Clark subdivision surface (CCSS) patches is presented. The new technique improves a previous techn...
139
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ...
152
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
140
click to vote
NIPS
2004
15 years 7 months ago
2004
Device mismatch in VLSI degrades the accuracy of analog arithmetic circuits and lowers the learning performance of large-scale neural networks implemented in this technology. We s...