Sciweavers

1578 search results - page 108 / 316
» Self-healing systems - survey and synthesis
Sort
View
ICCAD
1996
IEEE
119views Hardware» more  ICCAD 1996»
14 years 1 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»
14 years 1 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»
14 years 1 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»
14 years 29 days 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»
13 years 9 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