1299 search results - page 72 / 260 » On the Correctness of Operating System Kernels |
132
click to vote
ISTA
2004
15 years 5 months ago
2004
: Collaborative querying seeks to help users formulate an accurate query to a search engine by sharing expert knowledge or other users' search experiences. One approach to acc...
140
click to vote
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents various transparency issues that have to be considered during development of object-oriented Grid applications based on virtual repositories. Higher-level transp...
126
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Usage controls allow the distributor of some information to limit how recipients of that information may use it. The Trusted Computing Group has standardized Trusted Platform Modu...
147
click to vote
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Sparse matrix-vector multiplication is an important computational kernel that tends to perform poorly on modern processors, largely because of its high ratio of memory op...
123
click to vote
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...