4719 search results - page 148 / 944 » Newtonian program analysis |
160
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
133
click to vote
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
128
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
137
Voted
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we propose a novel approach to the detection of on-line handwritten text lines based on dynamic programming. We try to find the paths with the minimum cost between ...
147
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...