1712 search results - page 22 / 343 » Abstract Constraint Data Types |
ICPPW
2006
IEEE
15 years 4 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
EWSN
2004
Springer
15 years 10 months ago
2004
Springer
A surveillance area is to be monitored using a grid network of heterogeneous sensor nodes. There are two types of nodes; type 0 nodes which perform sensing and relaying of data wit...
103
click to vote
CORR
2006
Springer
14 years 10 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
103
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
100
click to vote
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...