1833 search results - page 85 / 367 » Mechanized Verification with Sharing |
98
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we propose a Web based information sharing system called the Proxy Agent-based Information Sharing (PAIS). We also developed a writable Web mechanism called Web bro...
109
click to vote
SASO
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we present an analysis of self-organizing bandwidth sharing in priority-based medium access. For this purpose, the priority-based Access Game is introduced. Analysi...
103
click to vote
CLUSTER
2007
IEEE
15 years 7 months ago
2007
IEEE
— OpenMP can be supported in cluster environments by using distributed shared memory (DSM) systems. A portable approach for building DSM systems is to layer it on MPI. With these...
82
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Internet sharing systems aim at federating and utilizing distributed computing resources across the Internet. This paper presents a user-level virtual machine (VM) approach to MPI...
111
Voted
ICN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We developed a reliable mobile Peer-to-Peer (P2P) data sharing system and performed some experiments for verifying our routing scheme using our real testbed. Our method f...