936 search results - page 75 / 188 » The Synthesis Problem of Netcharts |
136
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
128
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
115
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
136
Voted
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
122
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...