462 search results - page 22 / 93 » Symbolic Bounded Synthesis |
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper presents a new upper bound on the endto-end signal-to-noise ratio (SNR) of channel-assisted amplifyand-forward (AF) multi-hop relay networks. The harmonic mea...
115
Voted
DCC
2008
IEEE
16 years 1 months ago
2008
IEEE
In a previous paper we derived an upper bound on the redundancy of an arithmetic-type encoder for a memoryless source, designed to meet a finite endto-end strict delay constraint....
127
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
114
click to vote
DCC
2007
IEEE
16 years 1 months ago
2007
IEEE
We address the problem of a finite delay constraint in an arithmetic coding system. Due to the nature of the arithmetic coding process, source sequences causing arbitrarily large ...
143
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...