2693 search results - page 153 / 539 » French Order Without Order |
127
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
129
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
131
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
127
click to vote
ARITH
1999
IEEE
15 years 8 months ago
1999
IEEE
A digit-recurrence algorithm for computing the Euclidean norm of a 3-dimensional vector is proposed. Starting from the vector component with the highest order of magnitude as the ...
133
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...