Sciweavers

819 search results - page 10 / 164
» Fractal symbolic analysis
Sort
View
DAS
2008
Springer
13 years 10 months ago
Performance Evaluation of Symbol Recognition and Spotting Systems: An Overview
Mathieu Delalandre, Ernest Valveny, Josep Llad&oac...
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
14 years 2 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
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 ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
TCOM
2008
100views more  TCOM 2008»
13 years 8 months ago
Unified asymptotic analysis of linearly modulated signals in fading, non-Gaussian noise, and interference
In this paper, we present a unified asymptotic symbol error rate (SER) analysis of linearly modulated signals impaired by fading and (possibly) non
Amir Nasri, Robert Schober, Yao Ma
ENTCS
2010
82views more  ENTCS 2010»
13 years 6 months ago
A Modular Static Analysis Approach to Affine Loop Invariants Detection
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1
Corinne Ancourt, Fabien Coelho, François Ir...