7785 search results - page 327 / 1557 » The Concept of Dynamic Analysis |
185
click to vote
APVIS
2009
15 years 8 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...
134
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we analyze the effectiveness of dynamic artificial diversity, i.e., artificial diversity in which the subject of the diversity is re-randomized periodically. We refer...
188
click to vote
APVIS
2006
15 years 8 months ago
2006
The analysis of network motifs, patterns of local interconnections with potential functional properties, has applications in many fields of science. Network motif analysis is part...
166
Voted
FASE
2010
Springer
16 years 1 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...
150
click to vote
CIE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...