Sciweavers

1916 search results - page 45 / 384
» Reconfiguring a state machine
Sort
View
112
Voted
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
15 years 9 months ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek
124
Voted
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
15 years 9 months ago
Finite State Machine Synthesis for At-Speed Oscillation Testability
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
Katherine Shu-Min Li, Chung-Len Lee, Tagin Jiang, ...
PRDC
2005
IEEE
15 years 9 months ago
Resilient State Machine Replication
Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...
96
Voted
GECCO
2005
Springer
129views Optimization» more  GECCO 2005»
15 years 9 months ago
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms
Karnig Derderian, Robert M. Hierons, Mark Harman, ...
FSE
2004
Springer
84views Cryptology» more  FSE 2004»
15 years 9 months ago
Vulnerability of Nonlinear Filter Generators Based on Linear Finite State Machines
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...
Jin Hong, Dong Hoon Lee 0002, Seongtaek Chee, Pala...