7 search results - page 1 / 2 » Intel SGX Explained |
TPHOL
2000
IEEE
13 years 8 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
ICCS
2009
Springer
13 years 2 months ago
2009
Springer
The Jaccard/Tanimoto coefficient is an important workload, used in a large variety of problems including drug design fingerprinting, clustering analysis, similarity web searching a...
ICIAP
2007
ACM
14 years 4 months ago
2007
ACM
A recently proposed argument to explain the improved performance of the eight-point algorithm that results from using normalized data [IEEE Trans. Pattern Anal. Mach. Intell., 25(...
IPPS
1998
IEEE
13 years 8 months ago
1998
IEEE
In this paper, we describe our experience with developing Airshed, a large pollution modeling application, in the Fx programming environment. We demonstrate that high level parall...
JMIV
2007
13 years 4 months ago
2007
A recently proposed argument to explain the improved performance of the eight-point algorithm that results from using normalized data [IEEE Trans. Pattern Anal. Mach. Intell., 25(9...