Sciweavers

163 search results - page 2 / 33
» Testing Peers' Volatility
Sort
View
ICIW
2007
IEEE
13 years 11 months ago
Towards a Framework for Dynamic Verification of Peer-to-Peer Systems
Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...
Theofrastos Koulouris, George Spanoudakis, Theocha...
EMSOFT
2008
Springer
13 years 7 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
JSAC
2007
155views more  JSAC 2007»
13 years 5 months ago
Semantic social overlay networks
— Peer selection for query routing is a core task in peer-to-peer networks. Unstructured peer-to-peer systems (like Gnutella) ignore this problem, leading to an abundance of netw...
Alexander Löser, Steffen Staab, Christoph Tem...
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
13 years 11 months ago
Testing Flash Memories for Tunnel Oxide Defects
— Testing non volatile memories for tunnel oxide defects is one of the most important aspects to guarantee cell reliability. Defective tunnel oxide layer in core memory cells can...
Mohammad Gh. Mohammad, Kewal K. Saluja
ICWN
2004
13 years 6 months ago
A Peer-to-Peer Approach to Asynchronous Data Dissemination in Ad Hoc Networks
Abstract--This paper presents a model for the dissemination of information in highly dynamic ad hoc networks, such as those composed of mobile communicating devices. This model rel...
Hervé Roussain, Frédéric Guid...