Sciweavers

12289 search results - page 2099 / 2458
» computing 2006
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 11 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
TRIDENTCOM
2006
IEEE
15 years 11 months ago
Cross-layer multi-hop wireless routing for inter-vehicle communication
— Ad-hoc networking provides a cost-effective support structure for inter-vehicle communication. A decentralized peerto-peer information dissemination architecture is well suited...
Jatinder Pal Singh, Nicholas Bambos, Bhaskar Srini...
TRIDENTCOM
2006
IEEE
15 years 11 months ago
Light-trail testbed for metro optical networks
— Telecommunication networks have rapidly added staggering amounts of capacity to their long haul networks at low costs per bit using DWDM technologies. Concurrently, there has b...
Nathan A. VanderHorn, Srivatsan Balasubramanian, M...
TRIDENTCOM
2006
IEEE
15 years 11 months ago
Creating wireless multi-hop topologies on space-constrained indoor testbeds through noise injection
— To evaluate routing protocols on a controlled indoor wireless testbed, the radio range must be compressed so that larger multi-hop topologies can be mapped into a laboratorysiz...
Sanjit Krishnan Kaul, Marco Gruteser, Ivan Seskar
TRIDENTCOM
2006
IEEE
15 years 11 months ago
Mapping Link SNRs of wireless mesh networks onto an indoor testbed
— As a platform for synergistic theory-experiment exploration in the field of wireless networking, wireless testbeds have been used to facilitate a broad range of research. From...
Jing Lei, Roy D. Yates, Larry J. Greenstein, Hang ...
« Prev « First page 2099 / 2458 Last » Next »