3600 search results - page 193 / 720 » The settling-time reducibility ordering |
212
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
158
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
: We present FlightPath, a novel peer-to-peer streaming application that provides a highly reliable data stream to a dynamic set of peers. We demonstrate that FlightPath reduces ji...
170
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Earlier work has demonstrated the effectiveness of in-network data aggregation in order to minimize the amount of messages exchanged during continuous queries in large sensor netwo...
183
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
A promising architecture for remote healthcare monitoring involves the use of a pervasive device (such as a cellular phone), which aggregates data from multiple body-worn medical ...
169
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Networks of small devices, such as environmental sensors, introduce a number of new challenges for traditional protocols and approaches. In particular, the extreme resource constr...