663 search results - page 11 / 133 » Synthesis of Self-Testable Controllers |
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
IJCAT
2010
14 years 10 months ago
2010
: In this paper we present an approach for synthesising and editing cartoon fire series based on hand-drawn samples. Our approach first extracts outlines of hand-drawn cartoon fire...
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
104
click to vote
RSP
1999
IEEE
15 years 3 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
DEDS
2007
14 years 11 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...