1833 search results - page 83 / 367 » Mechanized Verification with Sharing |
111
Voted
INFOCOM
1999
IEEE
15 years 5 months ago
1999
IEEE
Networks that support multiple services through "link-sharing" must address the fundamental conflicting requirement between isolation among service classes to satisfy ea...
USENIX
1993
15 years 2 months ago
1993
As an alternative to communication via messages or files, shared memory has the potential to be simpler, faster, and less wasteful of space. Unfortunately, the mechanisms availab...
102
click to vote
CBSE
2009
Springer
15 years 7 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
93
Voted
CCGRID
2008
IEEE
15 years 7 months ago
2008
IEEE
ShareGrid is a peer-to-peer desktop grid aimed at satisfying the computing needs of the small research laboratories located in the Piedmont area in Northern Italy. ShareGrid adopt...
102
click to vote
ICNP
2006
IEEE
15 years 6 months ago
2006
IEEE
— The BitTorrent (BT) file sharing protocol is popular due to its scalability property and the incentive mechanism to reduce free-riding. However, in designing such P2P file sh...