277 search results - page 3 / 56 » Towards an automatic complexity analysis for generic program... |
IFIP
2010
Springer
13 years 18 days ago
2010
Springer
IVC
2002
13 years 5 months ago
2002
The classification of human body motion is an integral component for the automatic interpretation of video sequences. In a first part we present an effective approach that uses mi...
ENTCS
2006
13 years 5 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
FPCA
1989
13 years 9 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...