11716 search results - page 45 / 2344 » Computable symbolic dynamics |
105
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
106
click to vote
INFOVIS
1999
IEEE
15 years 4 months ago
1999
IEEE
We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...
GRAPHICSINTERFACE
2001
15 years 1 months ago
2001
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
116
click to vote
TSP
2010
14 years 6 months ago
2010
In this paper, a practical approach for detecting packet-based orthogonal frequency division multiplexing (OFDM) signals in the presence of phase noise is presented. An OFDM packe...
FCCM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...