13631 search results - page 465 / 2727 » Event-Based Performance Analysis |
120
Voted
DATE
1998
IEEE
15 years 9 months ago
1998
IEEE
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project th...
151
Voted
ICSM
1998
IEEE
15 years 9 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
137
click to vote
LCTRTS
1998
Springer
15 years 9 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
128
click to vote
CADE
1992
Springer
15 years 9 months ago
1992
Springer
There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are ...
123
Voted
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...