9316 search results - page 192 / 1864 » Analysis of traceback techniques |
138
Voted
LOPSTR
1994
Springer
15 years 8 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
150
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
108
click to vote
ISER
1995
Springer
15 years 7 months ago
1995
Springer
We apply sensitivity analysis to the design and control of a tendon transmission. With this approach, some prefered values for the system parameters and a feedback compensator can...
126
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...
134
click to vote
WSC
2004
15 years 5 months ago
2004
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...