Sciweavers

4233 search results - page 177 / 847
» Three Paths to Effectiveness
Sort
View
ICRA
2008
IEEE
129views Robotics» more  ICRA 2008»
15 years 11 months ago
Slope traversal experiments with slip compensation control for lunar/planetary exploration rover
— This paper presents slope traversal experiments with slip compensation control for lunar/planetary exploration rovers. On loose soil, wheels of the rover easily slip even when ...
Genya Ishigami, Keiji Nagatani, Kazuya Yoshida
SEUS
2008
IEEE
15 years 11 months ago
Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity
The widespread diffusion of portable devices with multiple wireless interfaces, e.g., UMTS/GPRS, IEEE 802.11, and/or Bluetooth, is enabling multi-homing and multi-channel scenarios...
Paolo Bellavista, Antonio Corradi, Carlo Giannelli
IPPS
2003
IEEE
15 years 9 months ago
Using Incorrect Speculation to Prefetch Data in a Concurrent Multithreaded Processor
Concurrent multithreaded architectures exploit both instruction-level and thread-level parallelism through a combination of branch prediction and thread-level control speculation. ...
Ying Chen, Resit Sendag, David J. Lilja
ACTA
2010
191views more  ACTA 2010»
15 years 4 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
MICRO
2010
IEEE
145views Hardware» more  MICRO 2010»
15 years 2 months ago
Combating Aging with the Colt Duty Cycle Equalizer
Bias temperature instability, hot-carrier injection, and gate-oxide wearout will cause severe lifetime degradation in the performance and the reliability of future CMOS devices. Th...
Erika Gunadi, Abhishek A. Sinkar, Nam Sung Kim, Mi...