2335 search results - page 284 / 467 » Functional Differentiation of Computer Programs |
124
click to vote
DSN
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
132
click to vote
PVM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
112
click to vote
PEPM
2000
ACM
15 years 6 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
108
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...
114
click to vote
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...