Sciweavers

7228 search results - page 1075 / 1446
» From Algorithmic to Subjective Randomness
Sort
View
MOBIHOC
2008
ACM
16 years 4 months ago
Cooperative transmit-power estimation under wireless fading
We study blind estimation of transmission power of a node based on received power measurements obtained under wireless fading. Specifically, the setup consists of a set of monitor...
Murtaza Zafer, Bongjun Ko, Ivan Wang Hei Ho
MOBIHOC
2006
ACM
16 years 4 months ago
Adaptive splitting protocols for RFID tag collision arbitration
Tag identification is an important tool in RFID systems with applications for monitoring and tracking. A RFID reader recognizes tags through communication over a shared wireless c...
Jihoon Myung, Wonjun Lee
MOBIHOC
2006
ACM
16 years 4 months ago
An evaluation of inter-vehicle ad hoc networks based on realistic vehicular traces
Vehicular ad hoc networks (VANETs) using WLAN technology have recently received considerable attention. The evaluation of VANET routing protocols often involves simulators since m...
Valery Naumov, Rainer Baumann, Thomas R. Gross
MOBIHOC
2003
ACM
16 years 4 months ago
ATP: a reliable transport protocol for ad-hoc networks
Existing works have approached the problem of reliable transport in ad-hoc networks by proposing mechanisms to improve TCP's performance over such networks. In this paper we ...
Karthikeyan Sundaresan, Vaidyanathan Anantharaman,...
POPL
2010
ACM
16 years 1 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
« Prev « First page 1075 / 1446 Last » Next »