224 search results - page 16 / 45 » Program Analysis Probably Counts |
93
Voted
ISCAPDCS
2001
14 years 11 months ago
2001
One purpose of the end-user tools described in this paper is to give users a graphical representation of performance information that has been gathered by instrumenting an applica...
151
Voted
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
Sketching techniques can provide approximate answers to aggregate queries either for data-streaming or distributed computation. Small space summaries that have linearity propertie...
IEEEARES
2009
IEEE
14 years 7 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
118
click to vote
ICDM
2009
IEEE
14 years 7 months ago
2009
IEEE
: Topic Modeling for Sequences of Temporal Activities Zhi-Yong Shen, Ping Luo, Yuhong Xiong, Jun Sun, Yi-Dong Shen HP Laboratories HPL-2010-160 topic modeling, LDA, sequence, temp...
ISIPTA
2003
IEEE
15 years 2 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...