7167 search results - page 100 / 1434 » A Technique for Invariant Generation |
154
click to vote
GMP
2006
IEEE
16 years 10 days ago
2006
IEEE
Physical based and geometric based variational techniques for surface construction have been shown to be advanced methods for designing high quality surfaces in the fields of CAD ...
133
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
ThiJ puper addresses the issue of dynamic similarity and intensive property invariance in scaled bilateral naunipulation, and ofsers a design methodology bused on these considerat...
117
click to vote
EXPERT
2006
15 years 6 months ago
2006
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
148
click to vote
IEE
1998
15 years 6 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
176
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...