4917 search results - page 455 / 984 » Software Engineering is Not Computer Science |
155
click to vote
IWPC
1997
IEEE
15 years 8 months ago
1997
IEEE
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of...
139
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
136
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
151
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
156
click to vote
TC
2011
14 years 11 months ago
2011
—Single and double scalar multiplications are the most computational intensive operations in elliptic curve based cryptosystems. Improving the performance of these operations is ...