7167 search results - page 97 / 1434 » A Technique for Invariant Generation |
177
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
130
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Inductive and capacitive coupling are responsible for slowing down signals. Existing bus encoding techniques tackle the issue by avoiding certain types of transitions. This work...
142
click to vote
LATIN
1998
Springer
15 years 10 months ago
1998
Springer
The existence of efficient algorithms to compute the eigenvectors and eigenvalues of graphs supplies a useful tool for the design of various graph algorithms. In this survey we de...
155
click to vote
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents an overview of techniques for generating photoreal computer graphics models of real-world places and objects. Our group's early efforts in modeling scenes...
146
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....