1452 search results - page 68 / 291 » Algorithmic Analysis of Array-Accessing Programs |
IEEEPACT
2000
IEEE
14 years 2 months ago
2000
IEEE
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
ALDT
2009
Springer
14 years 2 months ago
2009
Springer
In this article we develop an indirect approach for assessing criteria significance weights from the robustness of the significance that a decision maker acknowledges for his pai...
ICDAR
2009
IEEE
13 years 7 months ago
2009
IEEE
We present a user interface design for labeling elements in document images at a pixel level. Labels are represented by overlay color, which might map to such terms as "handw...
IFL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...