1578 search results - page 123 / 316 » Self-healing systems - survey and synthesis |
ISMAR
2002
IEEE
14 years 2 months ago
2002
IEEE
We propose a new scheme to recover the eye-contact between multiple users in a Shared Mixed-Reality Space. The eye-contact in a shared mixed-reality space is lost as the side effe...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...
ASPDAC
2001
ACM
14 years 1 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
SCOPES
2005
Springer
14 years 3 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...