2607 search results - page 48 / 522 » Complete Functional Synthesis |
141
Voted
DAC
1994
ACM
15 years 6 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
144
Voted
LICS
2010
IEEE
15 years 16 days ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
ICML
2000
IEEE
16 years 3 months ago
2000
IEEE
Cross-validation is an established technique for estimating the accuracy of a classifier and is normally performed either using a number of random test/train partitions of the dat...
127
click to vote
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
A wireless packet network is considered in which each user transmits a stream of packets to its destination. The transmit power of each user interferes with the transmission of al...
160
click to vote
ICCD
1992
IEEE
15 years 6 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...