12272 search results - page 133 / 2455 » Experimental program analysis |
181
click to vote
SARA
2009
Springer
16 years 28 days ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
164
click to vote
CEFP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
138
click to vote
COLING
2010
15 years 1 months ago
2010
This paper presents a comparative study on two key problems existing in extractive summarization: the ranking problem and the selection problem. To this end, we presented a system...
140
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
144
click to vote
PPDP
2009
Springer
16 years 28 days ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...