1416 search results - page 135 / 284 » An Exact Interpretation of While |
138
click to vote
UIST
2009
ACM
16 years 20 days ago
2009
ACM
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
158
click to vote
FOSSACS
2010
Springer
16 years 20 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
160
click to vote
CODES
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...
188
click to vote
GLOBECOM
2008
IEEE
16 years 19 days ago
2008
IEEE
—We present a novel approach for minimizing the energy consumption of medium access control (MAC) protocols developed for duty-cycled wireless sensor networks (WSN) for the unslo...
172
click to vote
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
— In this paper, we propose a theoretical framework for the analysis of the impact of ultra–wideband (UWB) interference on systems that use the popular combination of bit– in...