1982 search results - page 239 / 397 » Parametricity and dependent types |
162
click to vote
IQIS
2004
ACM
15 years 12 months ago
2004
ACM
Data freshness has been identified as one of the most important data quality attributes in information systems. This importance increases particularly in the context of distribute...
193
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
160
click to vote
PDCAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper proposes a simplified simultaneous multithreading (SMT) architecture aiming at CPU cores of embedded SoCs for consumer applications. This architecture reduces...
154
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
158
click to vote
AIME
2001
Springer
15 years 11 months ago
2001
Springer
To cope with the difficulty of MRI brain scans automatic segmentation, we need to constrain and control the selection and the adjustment of processing tools depending on the local ...