Sciweavers

874 search results - page 38 / 175
» Modular robot system architecture
Sort
View
82
Voted
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
15 years 10 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
96
Voted
RTAS
2000
IEEE
15 years 1 months ago
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim
95
Voted
SIES
2009
IEEE
15 years 5 months ago
A modular fast simulation framework for stream-oriented MPSoC
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
Kai Huang, Iuliana Bacivarov, Jun Liu, Wolfgang Ha...
ICRA
2010
IEEE
119views Robotics» more  ICRA 2010»
14 years 8 months ago
An Inertia-Based Surface Identification System
—In many robotics applications, knowing the material properties around a robot is often critical for the robot’s successful performance. For example, in mobility, knowledge abo...
Jens Windau, Wei-Min Shen
102
Voted
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 5 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...