Sciweavers

133 search results - page 16 / 27
» Reduced Complexity Attacks on the Alternating Step Generator
Sort
View
DSRT
2008
IEEE
13 years 9 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
ICRA
2003
IEEE
120views Robotics» more  ICRA 2003»
14 years 18 days ago
Inverse dynamics of gel robots made of electro-active polymer gel
— This paper formulates and solves the inverse dynamics problem of deformable robots made entirely of electro-active polymer gel. One of the primary difficulties with deformable...
Mihoko Otake, Yoshiharu Kagami, Yasuo Kuniyoshi, M...
IMR
2004
Springer
14 years 21 days ago
Finite Element Mesh Sizing for Surfaces Using Skeleton
The finite element (FE) mesh sizing has great influence on computational time, memory usage, and accuracy of FE analysis. Based on a systematic in-depth study of the geometric com...
William Roshan Quadros, Steven J. Owen, Michael L....
KBSE
2003
IEEE
14 years 18 days ago
Tool-Assisted Unit Test Selection Based on Operational Violations
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
Tao Xie, David Notkin
IROS
2007
IEEE
135views Robotics» more  IROS 2007»
14 years 1 months ago
Power-SLAM: A linear-complexity, consistent algorithm for SLAM
— In this paper, we present an Extended Kalman Filter (EKF)-based estimator for simultaneous localization and mapping (SLAM) with processing requirements that are linear in the n...
Esha D. Nerurkar, Stergios I. Roumeliotis