Sciweavers

1578 search results - page 108 / 316
» Self-healing systems - survey and synthesis
Sort
View
ICCAD
1996
IEEE
119views Hardware» more  ICCAD 1996»
15 years 10 months ago
An algorithm for synthesis of system-level interface circuits
We describe an algorithm for the synthesis and optimization of interface circuits for embedded system components such as microprocessors, memory ASIC, and network subsystems with ...
Ki-Seok Chung, Rajesh K. Gupta, C. L. Liu
CAV
2010
Springer
223views Hardware» more  CAV 2010»
15 years 10 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
ICAS
2009
IEEE
131views Robotics» more  ICAS 2009»
15 years 10 months ago
Gait Synthesis for Legged Underwater Vehicles
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
Andrew German, Michael R. M. Jenkin
ASYNC
2001
IEEE
164views Hardware» more  ASYNC 2001»
15 years 10 months ago
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
Alexandre Yakovlev, Fei Xia, Delong Shang
AMC
2007
91views more  AMC 2007»
15 years 6 months ago
Deterministic and random synthesis of discrete chaos
In this paper, two anticontrol algorithms for synthesis of discrete chaos are introduced. In these algorithms, the control parameter of a discrete dynamical system is switched, ei...
Miguel Romera, Michael Small, Marius-F. Danca