3951 search results - page 246 / 791 » Automatic amortized analysis |
167
click to vote
SAFECOMP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
154
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
190
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...
163
click to vote
CODES
2007
IEEE
16 years 27 days ago
2007
IEEE
One of the security issues in embedded system is the ability of an adversary to perform side channel attacks. Power analysis attacks are often very successful, where the power seq...
150
click to vote
IWMM
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...