3342 search results - page 9 / 669 » Symbolic Robustness Analysis |
DAM
2002
13 years 8 months ago
2002
We investigate the e ect on primitive words of point mutations (inserting or deleting symbols, substituting a symbol for another one), of morphisms, and of the operation of taking...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
TCOM
2008
13 years 8 months ago
2008
In this paper, we present a unified asymptotic symbol error rate (SER) analysis of linearly modulated signals impaired by fading and (possibly) non
ENTCS
2010
13 years 5 months ago
2010
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1
DCC
2007
IEEE
14 years 8 months ago
2007
IEEE
We consider a first-order Markov source, which is predictively encoded using a DPCM-style encoder. The quantized compressed prediction residual is transmitted over an erasure chan...