Sciweavers

3565 search results - page 386 / 713
» Modeling a system controller for timing analysis
Sort
View
ICMCS
2006
IEEE
106views Multimedia» more  ICMCS 2006»
15 years 11 months ago
Scalability in Human Shape Analysis
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
Thomas Fourès, Philippe Joly
EMSOFT
2007
Springer
15 years 11 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
161
Voted
SASN
2003
ACM
15 years 10 months ago
Modeling vulnerabilities of ad hoc routing protocols
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
Shahan Yang, John S. Baras
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 10 months ago
Inverse Kinematics of Gel Robots made of Electro-Active Polymer Gel
This paper proposes an inverse kinematic model for deformable robots made entirely of electro-active polymer gel. The required method is to control higher degrees of freedom than ...
Mihoko Otake, Yoshiharu Kagami, Yasuo Kuniyoshi, M...
115
Voted
ICRA
2000
IEEE
141views Robotics» more  ICRA 2000»
15 years 9 months ago
Haptic Rendering of Planar Rigid-Body Motion using a Redundant Parallel Mechanism
We present a system for rendering planar rigid-body motion by means of a redundant parallel mechanism. The device design, the control architecture and the passive virtual environm...
Daniela Constantinescu, Icarus Chau, Simon P. DiMa...