3951 search results - page 181 / 791 » Automatic amortized analysis |
147
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
152
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
124
Voted
FGR
2004
IEEE
15 years 8 months ago
2004
IEEE
In these days, many important intangible cultural properties of the world are being lost because of the lack of successive performers. Digital archiving technology is one of the e...
152
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
205
click to vote
MMM
2012
Springer
14 years 18 days ago
2012
Springer
In this work we propose to exploit context sensor data for analyzing user generated videos. Firstly, we perform a low-level indexing of the recorded media with the instantaneous co...