851 search results - page 20 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
127
Voted
EMSOFT
2010
Springer
15 years 18 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
145
Voted
ASYNC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
142
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
123
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
131
Voted
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...