663 search results - page 11 / 133 » Synthesis of Self-Testable Controllers |
105
click to vote
IJCAT
2010
15 years 1 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 4 months ago
2008
IEEE
134
click to vote
RSP
1999
IEEE
15 years 7 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 ...
122
click to vote
DEDS
2007
15 years 2 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...