Sciweavers

775 search results - page 37 / 155
» On the Performance of Bandwidth Estimation Tools
Sort
View
IROS
2009
IEEE
230views Robotics» more  IROS 2009»
14 years 2 months ago
Stability and robustness analysis tools for marine robot localization and SLAM applications
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...
Brendan Englot, Franz Hover
CAV
2003
Springer
140views Hardware» more  CAV 2003»
13 years 11 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack
APSEC
2002
IEEE
14 years 21 days ago
A Predictive Performance Model to Evaluate the Contention Cost in Application Servers
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
Shiping Chen, Ian Gorton
ICC
2009
IEEE
167views Communications» more  ICC 2009»
14 years 2 months ago
QoS Enhancement and Performance Evaluation of Ad-Hoc Routing Protocols for Rural Public Safety
—In this paper, we explore the feasibility of using Mobile Ad-hoc Networks (MANETs) for rural public safety. First, we discuss a QoS enhancement to a standard routing protocol, D...
Chad Bohannan, Li Zhang, Jian Tang, Richard S. Wol...
ADHOCNOW
2008
Springer
14 years 2 months ago
Self-interference in Multi-hop Wireless Chains: Geometric Analysis and Performance Study
Abstract. In the presence of interference, two single hop links can interact in a number of different ways, exhibiting significantly different behavior. In this paper, we consid...
Saquib Razak, Nael B. Abu-Ghazaleh