2257 search results - page 281 / 452 » Secure program partitioning |
DLS
2009
13 years 8 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
MICRO
2010
IEEE
13 years 5 months ago
2010
IEEE
Since the non-cache parts of a core are less regular, compared to on-chip caches, tolerating manufacturing defects in the processing core is a more challenging problem. Due to the ...
CISS
2010
IEEE
13 years 1 months ago
2010
IEEE
—Frame permutation quantization (FPQ) is a new vector quantization technique using finite frames. In FPQ, a vector is encoded using a permutation source code to quantize its fra...
JMLR
2012
12 years 22 days ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
As part of a comparative ethnographic study of everyday life of young professionals in London, Los Angeles, and Tokyo, we conducted a detailed survey of wallets and their contents...