Sciweavers

24095 search results - page 4738 / 4819
» Researchers and Development - Young Researches
Sort
View
ICRA
2010
IEEE
220views Robotics» more  ICRA 2010»
15 years 4 months ago
Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
Ryan N. Smith, Arvind Pereira, Yi Chao, Peggy Li, ...
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 4 months ago
Generalized Bilateral MIMO Control by States Convergence with time delay and application for the teleoperation of a 2-DOF helico
— Bilateral Control by States Convergence is a novel and little exploited control strategy that has been successfully applied to the teleoperation of robotic manipulators using S...
Claudia Pérez-D'Arpino, Wilfredis Medina Me...
IEEECIT
2010
IEEE
15 years 4 months ago
CFCSS without Aliasing for SPARC Architecture
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
Chao Wang, Zhongchuan Fu, Hongsong Chen, Wei Ba, B...
IFE
2010
161views more  IFE 2010»
15 years 4 months ago
Adaptive estimation and prediction of power and performance in high performance computing
Power consumption has become an increasingly important constraint in high-performancecomputing systems, shifting the focus from peak performance towards improving power efficiency...
Reza Zamani, Ahmad Afsahi
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 4 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
« Prev « First page 4738 / 4819 Last » Next »