Sciweavers

448 search results - page 1 / 90
» Debugging DHCP performance
Sort
View
IMC
2004
ACM
13 years 10 months ago
Debugging DHCP performance
Dynamic Host Configuration Protocol (DHCP) was defined to facilitate automatic configuration of IP addresses and other network parameters to hosts in a network. Efficiency of D...
Vladimir Brik, Jesse Stroik, Suman Banerjee
IJCSA
2006
95views more  IJCSA 2006»
13 years 5 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
WOWMOM
2009
ACM
207views Multimedia» more  WOWMOM 2009»
13 years 11 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...
ICSE
2012
IEEE-ACM
11 years 7 months ago
Performance debugging in the large via mining millions of stack traces
—Given limited resource and time before software release, development-site testing and debugging become more and more insufficient to ensure satisfactory software performance. As...
Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, Ta...
MOBIHOC
2002
ACM
14 years 4 months ago
Weak duplicate address detection in mobile ad hoc networks
Auto-configuration is a desirable goal in implementing mobile ad hoc networks. Specifically, automated dynamic assignment (without manual intervention) of IP addresses is desirabl...
Nitin H. Vaidya