2468 search results - page 482 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—IEEE 802.11-based mesh networks can yield a throughput distribution among nodes that is spatially biased, with traffic originating from nodes that directly communicate with the...
107
click to vote
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
116
click to vote
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Current developments in processing data streams are based on the best-effort principle and therefore not adequate for many application areas. When sensor data is gathered by inte...
103
click to vote
VLDB
2012
ACM
13 years 7 months ago
2012
ACM
In the last decade, spatio-temporal database research focuses on the design of effective and efficient indexing structures in support of location-based queries such as predictive...