20126 search results - page 3739 / 4026 » Timed Transition Systems |
123
click to vote
MOBISYS
2003
ACM
16 years 3 months ago
2003
ACM
Wireless transmission of a bit can require over 1000 times more energy than a single 32-bit computation. It would therefore seem desirable to perform significant computation to re...
134
click to vote
EWSN
2008
Springer
16 years 3 months ago
2008
Springer
Future mobile sensing systems are being designed using 802.15.4 low-power short-range radios for a diverse set of devices from embedded mobile motes to sensor-enabled cellphones in...
127
click to vote
MOBIHOC
2003
ACM
16 years 3 months ago
2003
ACM
Contrary to the common belief that mobility makes security more difficult to achieve, we show that node mobility can, in fact, be useful to provide security in ad hoc networks. We...
177
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...
151
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...