45 search results - page 1 / 9 » Distributed Synthesis for Alternating-Time Logics |
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
ATVA
2007
Springer
13 years 11 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...
APSEC
2000
IEEE
13 years 9 months ago
2000
IEEE
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
IPPS
1997
IEEE
13 years 9 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...