462 search results - page 75 / 93 » Symbolic Bounded Synthesis |
145
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
129
Voted
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
94
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— We consider the linear coding of a discrete memoryless Gaussian source transmitted through a discrete memoryless fading channel with additive white Gaussian noise (AWGN)...
128
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
144
Voted
CONCUR
1997
Springer
15 years 6 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...