981 search results - page 154 / 197 » Semantics-aware trace analysis |
111
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
117
click to vote
IMC
2003
ACM
15 years 7 months ago
2003
ACM
Routing loops are caused by inconsistencies in the routing state of the network. Although undesirable from this aspect, they can provide insight into the routing dynamics that cau...
MSWIM
2003
ACM
15 years 7 months ago
2003
ACM
— The characteristics of wireless packet loss have been studied extensively. Most efforts focus on the temporal loss characteristics at individual stations. For multicast protoco...
107
Voted
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...
123
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...