4325 search results - page 526 / 865 » Incremental computation with names |
177
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
188
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Considerable work has been done on providing fault tolerance capabilities for different software components on largescale high-end computing systems. Thus far, however, these fa...
169
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we explore the impact of the block shape on blocked and vectorized versions of the Sparse Matrix-Vector Multiplication (SpMV) kernel and build upon previous work by ...
181
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...
172
click to vote
WG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study graph searching games where a number of cops try to capture a robber that is hiding in a system of tunnels modelled as a graph. While the current position of the...