Sciweavers

775 search results - page 37 / 155
» On the Performance of Bandwidth Estimation Tools
Sort
View
87
Voted
IROS
2009
IEEE
230views Robotics» more  IROS 2009»
15 years 4 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»
15 years 1 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
15 years 2 months 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
91
Voted
ICC
2009
IEEE
167views Communications» more  ICC 2009»
15 years 4 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
15 years 4 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