9842 search results - page 57 / 1969 » Compositional timing analysis |
FASE
2010
Springer
14 years 2 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
1619
click to vote
ICECCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we propose a blind watermark detection scheme which is robust against composite geometric distortions. The composite geometric distortions mean that an image or a v...
AGP
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...