1154 search results - page 211 / 231 » Mathematizing C concurrency |
143
click to vote
PODC
2009
ACM
16 years 1 months ago
2009
ACM
Consider a setting where nodes can vary their transmission power thereby changing the network topology, the goal of topology control is to reduce the transmission power while ensu...
117
Voted
MOBIHOC
2009
ACM
16 years 1 months ago
2009
ACM
Providing differentiated Quality of Service (QoS) over unreliable wireless channels is an important challenge for supporting several future applications. We analyze a model that h...
115
Voted
MOBIHOC
2009
ACM
16 years 1 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
208
click to vote
POPL
2007
ACM
16 years 24 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
126
Voted
MOBIHOC
2008
ACM
16 years 2 days ago
2008
ACM
The routing performance of delay tolerant networks (DTN) is highly correlated with the distribution of inter-contact times (ICT), the time period between two successive contacts o...