Sciweavers

152 search results - page 2 / 31
» Formal Analysis of Passive Measurement Inference Techniques
Sort
View
PAM
2005
Springer
13 years 10 months ago
Practical Passive Lossy Link Inference
We propose a practical technique for the identification of lossy network links from end-to-end measurements. Our scheme is based on a function that computes the likelihood of each...
Alexandros Batsakis, Tanu Malik, Andreas Terzis
INFOCOM
2005
IEEE
13 years 11 months ago
Spatial-temporal analysis of passive TCP measurements
— In this paper we look at TCP data which was passively collected from an edge ISP, and analyze it to obtain some new results and deeper understanding of TCP loss process. The fo...
Eli Brosh, G. Lubetzky-Sharon, Yuval Shavitt
LISA
2003
13 years 6 months ago
New NFS Tracing Tools and Techniques for System Analysis
Passive NFS traces provide an easy and unobtrusive way to measure, analyze, and gain an understanding of an NFS workload. Historically, such traces have been used primarily by fil...
Daniel Ellard, Margo I. Seltzer
TMA
2010
Springer
314views Management» more  TMA 2010»
14 years 3 days ago
On the Use of TCP Passive Measurements for Anomaly Detection: A Case Study from an Operational 3G Network
In this work we discuss the use of passive measurements of TCP performance indicators in support of network operation and troubleshooting, presenting a case-study from a real 3G ce...
Peter Romirer-Maierhofer, Angelo Coluccia, Tobias ...
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
13 years 9 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel