Sciweavers

10615 search results - page 1349 / 2123
» Dynamic topic models
Sort
View
IPPS
2006
IEEE
16 years 1 months ago
Parallelizing post-placement timing optimization
This paper presents an efficient modeling scheme and a partitioning heuristic for parallelizing VLSI post-placement timing optimization. Encoding the paths with timing violations...
Jiyoun Kim, Marios C. Papaefthymiou, José N...
IPPS
2006
IEEE
16 years 1 months ago
A proactive fault-detection mechanism in large-scale cluster systems
To improve the whole dependability of large-scale cluster systems, an online fault detection mechanism is proposed in this paper. This mechanism can detect the fault in time befor...
Linping Wu, Dan Meng, Wen Gao, Jianfeng Zhan
IROS
2006
IEEE
110views Robotics» more  IROS 2006»
16 years 1 months ago
Robust Self-Localization in Industrial Environments based on 3D Ceiling Structures
- This paper introduces a new perceptual model for Monte Carlo Localization (MCL). In our approach a 3D laser scanner is used to observe the ceiling. The MCL matches ceiling struct...
Oliver Wulf, Daniel Lecking, Bernardo Wagner
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 1 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
ICRA
2005
IEEE
123views Robotics» more  ICRA 2005»
16 years 1 months ago
A Feedback Controller for Biped Humanoids that Can Counteract Large Perturbations During Gait
— In this paper, we propose a new method for biped humanoids to compensate for large amounts of angular momentum induced by strong external perturbations applied to the body duri...
Taku Komura, Howard Leung, Shunsuke Kudoh, James K...
« Prev « First page 1349 / 2123 Last » Next »