45 search results - page 1 / 9 » Distributed Synthesis for Alternating-Time Logics |
149
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
137
Voted
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
101
Voted
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
156
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...