4719 search results - page 198 / 944 » Newtonian program analysis |
144
click to vote
SIAMJO
2010
15 years 2 months 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...
144
click to vote
IFL
2003
Springer
15 years 9 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...
153
click to vote
EUROCAST
1994
Springer
15 years 8 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...
174
click to vote
APVIS
2003
15 years 5 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 ...
157
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...