6960 search results - page 496 / 1392 » Continuity Analysis of Programs |
190
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
155
click to vote
KONVENS
2000
15 years 10 months ago
2000
An approach for a program is presented that automatically detects the position of pitch accents and intonation phrase (IP) boundaries from waveforms. The technique maps acoustic c...
165
Voted
FUIN
2006
15 years 6 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
163
click to vote
FCCM
2009
IEEE
16 years 1 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...
159
Voted
SCAM
2008
IEEE
16 years 24 days ago
2008
IEEE
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...