413 search results - page 7 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
137
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
146
click to vote
FPL
1999
Springer
15 years 9 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
140
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Distributed constraint optimization problems (DCOPs) are a popular way of formulating and solving agent-coordination problems. It is often desirable to solve DCOPs optimally with m...
133
Voted
ASYNC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
136
Voted
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...