12 search results - page 1 / 3 » Synthesis of Mealy Machines Using Derivatives |
115
Voted
ENTCS
2006
15 years 1 months ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
113
Voted
ALIFE
2000
15 years 28 days ago
2000
We analyze a general model of multi-agent communication in which all agents communicate simultaneously to a message board. A genetic algorithm is used to evolve multi-agent languag...
118
Voted
FAC
2008
15 years 19 days ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
112
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
109
Voted
DAC
1994
ACM
15 years 5 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...