1299 search results - page 72 / 260 » On the Correctness of Operating System Kernels |
163
Voted
ISTA
2004
15 years 7 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...
164
Voted
PPAM
2005
Springer
15 years 11 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...
155
Voted
CCS
2007
ACM
16 years 8 days 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...
170
click to vote
ICCS
2001
Springer
15 years 10 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...
143
click to vote
SRDS
1999
IEEE
15 years 10 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...