4820 search results - page 344 / 964 » Implementing Signatures for C |
103
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—The method of resonant parametric perturbation is a simple non-feedback chaos control method which is easy to implement in practice. In this paper, an optimal strategy is applie...
142
click to vote
MTV
2005
IEEE
15 years 10 months ago
2005
IEEE
Semiconductor manufacturers aim at deliver new devices within shorter times in order to gain market shares. First silicon debug is an important issue in order to minimize the time...
123
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
We report new techniques and theory in computational topology for reconstructing surfaces with boundary. This complements and extends known techniques for surfaces without boundar...
150
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...
140
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...