4716 search results - page 174 / 944 » Iterative-free program analysis |
132
Voted
SIAMJO
2010
15 years 29 days ago
2010
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...
131
Voted
IFL
2003
Springer
15 years 7 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...
132
click to vote
EUROCAST
1994
Springer
15 years 6 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
159
Voted
APVIS
2003
15 years 4 months ago
2003
This paper presents an experimental evaluation of a program visualisation tool. Computer science students in an introductory object oriented programming course in Java were asked ...
138
click to vote
EOR
2010
14 years 12 months ago
2010
: We present new valid inequalities for 0-1 programming problems that work in similar ways to well known cover inequalities. Discussion and analysis of these cuts is followed by th...