4208 search results - page 284 / 842 » Challenges in Evaluating Distributed Algorithms |
135
click to vote
SODA
2004
ACM
15 years 6 months ago
2004
ACM
Abstract Packet-scheduling is a particular challenge in wireless networks due to interference from nearby transmissions. A distance-2 interference model serves as a useful abstract...
132
Voted
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
164
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
162
click to vote
CLEF
2010
Springer
15 years 2 days ago
2010
Springer
Nowadays, plagiarism has been presented as one of the main distresses that the information technology revolution has lead into our society for which using pattern matching algorith...
144
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents iShare, a distributed peer-to-peer Internet-sharing system, that facilitates the sharing of diverse resources located in different administrative domains over ...