1043 search results - page 67 / 209 » Reading, Writing and Relations |
157
click to vote
ISW
2005
Springer
15 years 12 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
166
click to vote
ICDCS
2000
IEEE
15 years 10 months ago
2000
IEEE
1 Switched system-area networks enable thousands of storage devices to be shared and directly accessed by end hosts, promising databases and filesystems highly scalable, reliable ...
154
click to vote
PODC
1998
ACM
15 years 10 months ago
1998
ACM
ÐIn this paper, we explore techniques to detect Byzantine server failures in asynchronous replicated data services. Our goal is to detect arbitrary failures of data servers in a s...
161
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
We consider a multi-processor system-on-chip destined for streaming applications. An application is composed of one input and one output queue and in-between, several levels of ide...
154
click to vote
WSCG
2004
15 years 7 months ago
2004
Image-based CSG rendering algorithms for standard graphics hardware rely on multipass rendering that includes reading and writing large amounts of pixel data from and to the frame...