Sciweavers

5314 search results - page 85 / 1063
» Hybrid Dynamic Programming
Sort
View
IPPS
2007
IEEE
14 years 4 months ago
Popularity Adaptive Search in Hybrid P2P Systems
In a hybrid peer-to-peer (P2P) system, flooding and DHT are both employed for content locating. The decision to use flooding or DHT largely depends on the population of desired da...
Xiaoqiu Shi, Jinsong Han, Yunhao Liu, Lionel M. Ni
IROS
2006
IEEE
160views Robotics» more  IROS 2006»
14 years 4 months ago
Bounding Gait in a Hybrid Wheeled-Leg Robot
— This paper discusses the first implementation of a dynamically stable bounding gait on a hybrid wheeled-leg robot. Design of the robot is reviewed and the controllers which al...
James Andrew Smith, Inna Sharf, Michael Trentini
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
14 years 3 months ago
Object Manipulation under Hybrid Active/Passive Closure
— In this paper, we discuss the manipulation of an object under hybrid active/passive closure. We show the orthogonality between the directions of active and passive force closur...
Tetsuyoh Watanabe, Kensuke Harada, Zhongwei Jiang,...
EUROPAR
2004
Springer
14 years 3 months ago
Task-Queue Based Hybrid Parallelism: A Case Study
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
Karl Fürlinger, Olaf Schenk, Michael Hagemann
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 8 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé