1818 search results - page 244 / 364 » Granularity-Adaptive Proof Presentation |
107
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
138
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
113
click to vote
STACS
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of preemptive scheduling on uniformly related machines. We present a semi-online algorithm which, if the optimal makespan is given in advance, produces an ...
215
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
122
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a computationally efficient method for deriving coordinate representations for the equations of motion and the affine connection describing a class of Lagrangi...