Sciweavers

1633 search results - page 282 / 327
» On the Verification of Temporal Properties
Sort
View
WWW
2008
ACM
16 years 15 days ago
Understanding internet video sharing site workload: a view from data center design
In this paper we measured and analyzed the workload on Yahoo! Video, the 2nd largest U.S. video sharing site, to understand its nature and the impact on online video data center d...
Xiaozhu Kang, Hui Zhang 0002, Guofei Jiang, Haifen...
POPL
2007
ACM
16 years 4 days ago
On the analysis of interacting pushdown systems
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
Vineet Kahlon, Aarti Gupta
CVPR
2009
IEEE
15 years 9 months ago
Motion pattern interpretation and detection for tracking moving vehicles in airborne video
Detection and tracking of moving vehicles in airborne videos is a challenging problem. Many approaches have been proposed to improve motion segmentation on frameby-frame and pixel...
Gérard G. Medioni, Qian Yu
ICDCS
2009
IEEE
15 years 9 months ago
Modeling Probabilistic Measurement Correlations for Problem Determination in Large-Scale Distributed Systems
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
Jing Gao, Guofei Jiang, Haifeng Chen, Jiawei Han
IUI
2009
ACM
15 years 8 months ago
Pulling strings from a tangle: visualizing a personal music listening history
The history of songs, to which a person has listened, is a very personal piece of information. It is a rich data set that comes as a byproduct of the use of digital music players ...
Dominikus Baur, Andreas Butz