Sciweavers

4207 search results - page 712 / 842
» Stable Analysis Patterns
Sort
View
ICDM
2003
IEEE
170views Data Mining» more  ICDM 2003»
14 years 1 months ago
Algorithms for Spatial Outlier Detection
A spatial outlier is a spatially referenced object whose non-spatial attribute values are significantly different from the values of its neighborhood. Identification of spatial ...
Chang-Tien Lu, Dechang Chen, Yufeng Kou
INFOCOM
2003
IEEE
14 years 1 months ago
Asymptotic Insensitivity of Least-Recently-Used Caching to Statistical Dependency
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
Predrag R. Jelenkovic, Ana Radovanovic
INFOCOM
2003
IEEE
14 years 1 months ago
Optimizing Route-Cache Lifetime in Ad Hoc Networks
—On-demand routing reduces the control overhead in mobile ad hoc networks, but it has the major drawback of introducing latency between route-request arrival and the determinatio...
Ben Liang, Zygmunt J. Haas
ISCA
2003
IEEE
88views Hardware» more  ISCA 2003»
14 years 1 months ago
Phase Tracking and Prediction
In a single second a modern processor can execute billions of instructions. Obtaining a bird’s eye view of the behavior of a program at these speeds can be a difficult task whe...
Timothy Sherwood, Suleyman Sair, Brad Calder
KBSE
2003
IEEE
14 years 1 months ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...