7167 search results - page 117 / 1434 » A Technique for Invariant Generation |
170
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
193
click to vote
CASC
2009
Springer
16 years 27 days ago
2009
Springer
We discuss the family of “divide-and-conquer” algorithms for polynomial multiplication, that generalize Karatsuba’s algorithm. We give explicit versions of transposed and sho...
167
click to vote
IV
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper builds on principles of depicting transparency in hand-made line drawings, and develops a method to generate similar, but computer-generated, line drawings in a two-ste...
170
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
We propose Inflate-Paste – a new technique for generating orthogonal polygons with a given number of vertices from a unit square based on gluing rectangles. It is dual to Inflate...
162
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...