53390 search results - page 124 / 10678 » Computer Systems Analysis |
122
Voted
DIAGRAMS
2000
Springer
15 years 9 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
130
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
This paper reports an early progress of a feasibility study of a computational intelligence approach to the enhancement of the accuracy of flow measurements in the framework of a ...
152
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
145
click to vote
ISSRE
2006
IEEE
15 years 11 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
203
click to vote
VALUETOOLS
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...