1013 search results - page 165 / 203 » A Subexponential Algorithm for Abstract Optimization Problem... |
WDAG
2005
Springer
15 years 3 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
IPSN
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Numerous factors contribute to errors in sensor measurements. In order to be useful, any sensor device must be calibrated to adjust its accuracy against the expected meas...
121
click to vote
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
100
click to vote
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—We consider the power control problem in a timeslotted wireless channel, shared by a finite number of mobiles that transmit to a common base station. The channel betwee...
TON
2010
14 years 4 months ago
2010
Abstract--Energy efficiency is critical for wireless sensor networks. The data-gathering process must be carefully designed to conserve energy and extend network lifetime. For appl...