1712 search results - page 22 / 343 » Abstract Constraint Data Types |
110
Voted
ICPPW
2006
IEEE
15 years 8 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...
124
Voted
EWSN
2004
Springer
16 years 2 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...
138
Voted
CORR
2006
Springer
15 years 2 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...
145
Voted
POPL
2012
ACM
13 years 10 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...
142
Voted
ACMSE
2006
ACM
15 years 8 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...