181 search results - page 18 / 37 » A Mechanism for Verifying Data Speculation |
71
Voted
ICPP
2002
IEEE
15 years 2 months ago
2002
IEEE
HPC programmers utilize tracefiles, which record program behavior in great detail, as the basis for many performance analysis activities. The lack of generally accessible tracefil...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
CAINE
2009
14 years 10 months ago
2009
We have constructed a synthetic in silico model for representing the dynamics of leukocyte rolling, activation, and adhesion on substrate-coated flow chambers. Software components...
VLDB
2010
ACM
14 years 8 months ago
2010
ACM
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
HPCA
2004
IEEE
15 years 10 months ago
2004
IEEE
Modern out-of-order processors tolerate long latency memory operations by supporting a large number of inflight instructions. This is particularly useful in numerical applications...