Sciweavers

EJWCN
2010
122views more  EJWCN 2010»
13 years 7 months ago
Using Model Checking for Analyzing Distributed Power Control Problems
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...
JSAC
2006
107views more  JSAC 2006»
14 years 13 days ago
Distributed interference compensation for wireless networks
We consider a distributed power control scheme for wireless ad hoc networks, in which each user announces a price that reflects compensation paid by other users for their interfere...
Jianwei Huang, Randall A. Berry, Michael L. Honig