277 search results - page 7 / 56 » Towards an automatic complexity analysis for generic program... |
SAS
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
76
Voted
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
CACM
2010
14 years 9 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
120
click to vote
IWPC
2010
IEEE
14 years 8 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
WCET
2008
14 years 11 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...