4761 search results - page 769 / 953 » Performance of Protocols |
123
click to vote
HPCA
2007
IEEE
16 years 4 months ago
2007
IEEE
Transactional Memory (TM) provides mechanisms that promise to simplify parallel programming by eliminating the need for locks and their associated problems (deadlock, livelock, pr...
232
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
123
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
148
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...
139
click to vote
SIGMOD
2001
ACM
16 years 3 months ago
2001
ACM
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...