Sciweavers

2266 search results - page 111 / 454
» Generalizing parametric timing analysis
Sort
View
111
Voted
ICIP
2010
IEEE
15 years 1 months ago
Image analysis with regularized Laplacian eigenmaps
Many classes of image data span a low dimensional nonlinear space embedded in the natural high dimensional image space. We adopt and generalize a recently proposed dimensionality ...
Frank Tompkins, Patrick J. Wolfe
143
Voted
IEEEARES
2009
IEEE
15 years 1 months ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
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...
Chunyan Mu, David Clark
127
Voted
SIGMETRICS
2005
ACM
15 years 9 months ago
End-to-end estimation of the available bandwidth variation range
The available bandwidth (avail-bw) of a network path is an important performance metric and its end-to-end estimation has recently received significant attention. Previous work f...
Manish Jain, Constantinos Dovrolis
174
Voted
RV
2010
Springer
220views Hardware» more  RV 2010»
15 years 1 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
125
Voted
QOFIS
2000
Springer
15 years 7 months ago
A Markovian Model for TCP Analysis in a Differentiated Services Network
Many schemes have been proposed to support TCP traffic in a Differentiated Services network. We present in this paper an analytical model to study the performance of these schemes....
Chadi Barakat, Eitan Altman