1833 search results - page 114 / 367 » Mechanized Verification with Sharing |
157
click to vote
FTDCS
2004
IEEE
15 years 8 months ago
2004
IEEE
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
119
click to vote
NGC
2001
Springer
15 years 9 months ago
2001
Springer
Bi-directional shared tree is an efficient routing scheme for interactive multicast applications with multiple sources. Given the open-group IP multicast service model, it is impor...
137
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
Condor provides high throughput computing by leveraging idlecycles on off-the-shelf desktop machines. It also supports flocking, a mechanism for sharing resources among Condor po...
221
click to vote
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
Edge computing pushes application logic and the underlying data to the edge of the network, with the aim of improving availability and scalability. As the edge servers are not nec...
135
click to vote
FMSD
2002
15 years 4 months ago
2002
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...