42507 search results - page 143 / 8502 » On the analysis of |
126
click to vote
CPC
2004
15 years 6 months ago
2004
We provide a probabilistic analysis of the output of Quicksort when comparisons can err.
146
click to vote
DAM
1999
15 years 6 months ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
154
click to vote
RE
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
199
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...