1452 search results - page 221 / 291 » Algorithmic Analysis of Array-Accessing Programs |
104
Voted
GCB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Time series have been a major topic of interest and analysis for hundreds of years, with forecasting a central problem. A large body of analysis techniques has been developed, par...
109
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
DAC
2010
ACM
15 years 1 months ago
2010
ACM
We study diagnosis of segments on speedpaths that fail the timing constraint at the post-silicon stage due to manufacturing variations. We propose a formal procedure that is appli...
110
Voted
AAECC
2005
Springer
15 years 22 days ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...