11716 search results - page 66 / 2344 » Computable symbolic dynamics |
152
click to vote
SPIN
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
140
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
—In this paper, we address the use of unified spatial relations for symbol description. We present a topologically guided directional relation signature. It references a unique ...
130
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
172
click to vote
ICC
2008
IEEE
16 years 17 days ago
2008
IEEE
— A signal space diversity (SSD) scheme is one of techniques to achieve diversity gain in fading channels. This method consists of two key operations: constellation rotation and ...
159
click to vote
SC
1994
ACM
15 years 10 months ago
1994
ACM
Most current data dependence tests cannot handle loop bounds or array subscripts that are symbolic, nonlinear expressions e.g. Ani+j, where 0 j n. In this paper, we describe a d...