Sciweavers

416 search results - page 42 / 84
» Correcting a Space-Efficient Simulation Algorithm
Sort
View
IJAHUC
2006
128views more  IJAHUC 2006»
13 years 8 months ago
Avoid 'void' in geographic routing for data aggregation in sensor networks
: Wireless sensor networks have attracted great attention in research and industrial development due to its fast-growing application potentials. New techniques must be developed fo...
Shigang Chen, Guangbin Fan, Jun-Hong Cui
MSWIM
2003
ACM
14 years 1 months ago
Impact of location inconsistencies on geographic routing in wireless networks
Recently, geographic routing in wireless networks has gained attention due to several advantages of location information. Location information eliminates the necessity to set up a...
Yongjin Kim, Jae-Joon Lee, Ahmed Helmy
HVC
2007
Springer
153views Hardware» more  HVC 2007»
14 years 9 days ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
CF
2005
ACM
13 years 10 months ago
Grid result checking
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
Cécile Germain-Renaud, Dephine Monnier-Raga...
ICIP
2002
IEEE
14 years 10 months ago
Efficient partitioning of unequal error protected MPEG video streams for multiple channel transmission
Reliable transmission of video over wireless networks must address the limited bandwidth and the possibility of loss. When the bandwidth is insufficient on a single channel, the v...
Wen Xu, Sheila S. Hemami