4211 search results - page 430 / 843 » Types as Abstract Interpretations |
208
click to vote
VL
2002
IEEE
16 years 16 days ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
217
click to vote
CIE
2010
Springer
16 years 13 days ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
169
click to vote
AAECC
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
218
click to vote
ATAL
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
185
click to vote
CHES
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. This work proposes a new elliptic curve processor architecture for the computation of point multiplication for curves defined over fields GF(p). This is a scalable arch...