CASC
2009
Springer
13 years 10 months ago
2009
Springer
ASMTA
2009
Springer
13 years 10 months ago
2009
Springer
EUROCAL
1987
13 years 10 months ago
1987
EUROCAL
1987
13 years 10 months ago
1987
Abstract. A new constructive method for finding all convenient moduli m for a number-theoretic transform with given length N and given primitive Nth root of unity modulo m is prese...
EUROCAL
1987
13 years 10 months ago
1987
ISSAC
1991
Springer
13 years 10 months ago
1991
Springer
In the present paper we describe a new algorithm to determine the minimal index and all elements with minimal index in totally real biquadratic fields with Galois group D8. The m...
MPC
1995
Springer
13 years 10 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
MPC
1995
Springer
13 years 10 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
MPC
1995
Springer
13 years 10 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
MPC
1995
Springer
13 years 10 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...