Sciweavers

1833 search results - page 12 / 367
» Mechanized Verification with Sharing
Sort
View
APPROX
2004
Springer
119views Algorithms» more  APPROX 2004»
15 years 6 months ago
Cost-Sharing Mechanisms for Network Design
We consider a single-source network design problem from a game-theoretic perspective. Gupta, Kumar and Roughgarden (Proc. 35th Annual ACM STOC, pages 365–372, 2003) developed a ...
Anupam Gupta, Aravind Srinivasan, Éva Tardo...
83
Voted
ICPADS
2002
IEEE
15 years 5 months ago
A Multi-locking Mechanism on Shared Object DSM
Adam K. L. Wong, Weiping Zhu
71
Voted
IEICET
2006
88views more  IEICET 2006»
15 years 20 days ago
A Cooperative Mechanism for Hybrid P2P File-Sharing Networks to Enhance Application-Level QoS
Hongye Fu, Naoki Wakamiya, Masayuki Murata
75
Voted
IEICET
2006
86views more  IEICET 2006»
15 years 20 days ago
Design and Evaluation of a Cooperative Mechanism for Pure P2P File-Sharing Networks
Junjiro Konishi, Naoki Wakamiya, Masayuki Murata
MANSCI
2006
65views more  MANSCI 2006»
15 years 18 days ago
A Contract and Balancing Mechanism for Sharing Capacity in a Communication Network
Edward Anderson, Frank Kelly, Richard Steinberg