2607 search results - page 31 / 522 » Complete Functional Synthesis |
116
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
114
click to vote
ENTCS
2007
15 years 2 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
149
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- We propose an algorithm for decentralised navigation of multiple independent agents, applicable to Robotics and Air Traffic Control (ATC). We present completely decentra...
120
Voted
ESA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We study the problem of designing group-strategyproof costsharing mechanisms. The players report their bids for getting serviced and the mechanism decides a set of player...
112
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
eously demand shorter and less costly design cycles. Designing at higher levels of abstraction makes both objectives achievable, but enabling techniques like behavioral synthesis h...