4772 search results - page 298 / 955 » An approach to interface synthesis |
164
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
146
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...
166
Voted
ISCAS
2003
IEEE
16 years 2 days ago
2003
IEEE
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
181
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
: In this paper we focus on a general approach of using genetic algorithm (GA) to evolve Quantum circuits (QC). We propose a generic GA to evolve arbitrary quantum circuit specifie...
146
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...