5639 search results - page 742 / 1128 » Timed Abstract Non-interference |
114
click to vote
DCC
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract: We propose a hyperspectral image compressor called BH which considers its input image as being partitioned into square blocks, each lying entirely within a particular ban...
127
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
d Abstract) Hanna Mazzawi Technion - Israel Institute of Technology In this paper, we consider the problem of reconstructing a hidden graph with m edges using additive queries. Gi...
146
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
142
click to vote
CIAC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Given a binary dominance relation on a set of alternatives, a common thread in the social sciences is to identify subsets of alternatives that satisfy certain notions of ...
152
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...