9842 search results - page 597 / 1969 » Compositional timing analysis |
170
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a generalized cross-correlation (GCC) measure for spike train analysis derived from reproducing kernel Hilbert spaces (RKHS) theory. An estimator for GCC is ...
203
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
155
click to vote
COLCOM
2005
IEEE
16 years 24 days ago
2005
IEEE
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...
181
click to vote
CSMR
2003
IEEE
16 years 14 days ago
2003
IEEE
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...
137
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...