1511 search results - page 208 / 303 » Relational Parametricity for Computational Effects |
137
click to vote
ATC
2009
Springer
15 years 10 months ago
2009
Springer
Remote attestation is one of the key functionalities provided by trusted platforms. Most current attestation approaches are based on cryptographic hash functions, which are appropr...
147
click to vote
APCSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
The RAMpage hierarchy moves main memory up a level to replace the lowest-level cache by an equivalent-sized SRAM main memory. This paper is a first look at the value of RAMpage to ...
154
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Common problem encountered in the analysis of dynamic scene is the problem of simultaneous estimation of the number of models and their parameters. This problem becomes difficult a...
143
click to vote
BMVC
2002
15 years 8 months ago
2002
We consider the problem of decoupling translation and rotation for a collection of 3D data related to 2D images by a projection. The main contribution is to show that equations de...
174
click to vote
NSDI
2007
15 years 8 months ago
2007
Many existing peer-to-peer content distribution networks (CDNs) such as Na Kika, CoralCDN, and CoDeeN are deployed on PlanetLab, a relatively trusted environment. But scaling them...