227 search results - page 8 / 46 » Temporal Delay Tomography |
TON
2002
13 years 7 months ago
2002
Packet delay greatly influences the overall performance of network applications. It is therefore important to identify causes and location of delay performance degradation within ...
TIME
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
A standard fMRI experiment is structured around the assumption that onset of relevant neural activity occurs almost immediately after external stimulus. Introducing deliberate len...
CHARME
1993
Springer
13 years 11 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—In this paper, we develop passive network tomography techniques for inferring link-level anomalies like excessive loss rates and delay from path-level measurements. Our ...