Sciweavers

4305 search results - page 158 / 861
» Analysing Protocol Implementations
Sort
View
SPAA
1998
ACM
14 years 1 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
IDC
2009
Springer
14 years 3 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
WOWMOM
2009
ACM
207views Multimedia» more  WOWMOM 2009»
14 years 3 months ago
Autoconfiguration procedures for multiradio wireless mesh networks based on DHCP protocol
We propose procedures for autoconfiguration of wireless mesh networks based on DHCP protocol. The proposed mechanism provides automatic address and radio parameters set-up for nod...
Krzysztof Grochla, Walter Buga, Piotr Pacyna, Jaro...
ECBS
2005
IEEE
79views Hardware» more  ECBS 2005»
14 years 2 months ago
"SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities
In this paper, we present a theoretical protocol for autonomic distribution of services in a P2P environment, as well as the results of its simulated implementation. Our objective...
Fabrice Saffre, Håvard Rast Blok
ICAS
2005
IEEE
87views Robotics» more  ICAS 2005»
14 years 2 months ago
RTnet: a distributed real-time protocol for broadcast-capable networks
RTnet is a distributed real-time network protocol, to be used on fully-connected local area networks with a broadcast capability. It supports on-the-fly addition and removal of n...
Ferdy Hanssen, Pierre G. Jansen, Hans Scholten, Sa...