462 search results - page 26 / 93 » Symbolic Bounded Synthesis |
98
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
— Convexity/concavity properties of symbol error rates (SER) of the maximum likelihood detector operating in the AWGN channel (non-fading and fading) are studied. Generic conditi...
118
click to vote
ICCAD
2010
IEEE
14 years 12 months ago
2010
IEEE
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...
114
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...
108
click to vote
ASPDAC
2007
ACM
15 years 5 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...
115
click to vote
ENTCS
2006
15 years 1 months ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...