1452 search results - page 87 / 291 » Algorithmic Analysis of Array-Accessing Programs |
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
136
click to vote
BMCBI
2006
15 years 12 days ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
79
Voted
CCE
2010
14 years 9 months ago
2010
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...
220
click to vote
POPL
2003
ACM
16 years 20 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...