936 search results - page 106 / 188 » The Synthesis Problem of Netcharts |
114
Voted
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
127
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
111
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
We offer a technique to partition a centralized control-flow graph to obtain distributed control in the context of asynchronous highlevel synthesis. The technique targets Huffman-...
105
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
107
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...