1402 search results - page 46 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
135
click to vote
ICDCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
157
Voted
WWW
2004
ACM
15 years 8 months ago
2004
ACM
An increasingly large amount of such applications employ service objects such as Servlets to generate dynamic and personalized content. Existing caching infrastructures are not we...
165
Voted
ISORC
1998
IEEE
15 years 7 months ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
159
click to vote
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
156
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...