11716 search results - page 121 / 2344 » Computable symbolic dynamics |
194
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
168
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we present a near ML-achieving sphere search technique that reduces the number of search operations significantly over existing sphere decoding (SD) algorithms. ...
176
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
172
click to vote
TSP
2010
15 years 1 months ago
2010
In this correspondence, we show how the cyclic prefix can be used to enhance the performance of an OFDM receiver. Specifically, we show how an OFDM symbol can be blindly detected ...
174
click to vote
ACTAC
2002
15 years 6 months ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...