1362 search results - page 204 / 273 » Model Checking Large Network Protocol Implementations |
230
click to vote
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
A k-NN query finds the k nearest-neighbors of a given point from a point database. When it is sufficient to measure object distance using the Euclidian distance, the key to effici...
151
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Multiple hop routing in mobile ad hoc networks can minimize energy consumption and increase data throughput. Yet, the problem of radio interferences remain. However if th...
109
Voted
ICNS
2008
IEEE
15 years 9 months ago
2008
IEEE
The programmable network approach allows processing of passing user data in a network, which is highly suitable especially for multimedia streams processing. However, programming ...
138
click to vote
MICRO
2008
IEEE
15 years 9 months ago
2008
IEEE
With the recent design shift towards increasing the number of processing elements in a chip, high-bandwidth support in on-chip interconnect is essential for low-latency communicat...
152
click to vote
MOBIHOC
2004
ACM
15 years 8 months ago
2004
ACM
Bandwidth efficiency of wireless multicast can be improved substantially by exploiting the fact that several receivers can be reached at the MAC layer by a single transmission. T...