Sciweavers

4000 search results - page 493 / 800
» Simulation down under
Sort
View
IROS
2009
IEEE
142views Robotics» more  IROS 2009»
16 years 1 months ago
ISROBOTNET: A testbed for sensor and robot network systems
— This paper introduces a testbed for sensor and robot network systems, currently composed of 10 cameras and 5 mobile wheeled robots equipped with several sensors for self-locali...
Marco Barbosa, Alexandre Bernardino, Dario Figueir...
ISCA
2009
IEEE
186views Hardware» more  ISCA 2009»
16 years 1 months ago
Application-aware deadlock-free oblivious routing
Conventional oblivious routing algorithms are either not application-aware or assume that each flow has its own private channel to ensure deadlock avoidance. We present a framewo...
Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edwa...
ADHOCNETS
2009
Springer
16 years 1 months ago
Distributed Spectrum Sharing for Video Streaming in Cognitive Radio Ad Hoc Networks
A distributed joint routing and spectrum sharing algorithm for video streaming applications over cognitive radio ad hoc networks is proposed in this article. The proposed cross-lay...
Lei Ding, Scott Pudlewski, Tommaso Melodia, Stella...
ATC
2009
Springer
16 years 1 months ago
Management without (Detailed) Models
We present a resource management algorithm based upon guided “walks” within a system state space. Walks are guided via simple predictions of optimum behavior whose accuracy inc...
Alva L. Couch, Mark Burgess, Marc Chiarini
FMCAD
2009
Springer
16 years 1 months ago
Assume-guarantee validation for STE properties within an SVA environment
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham