1633 search results - page 282 / 327 » On the Verification of Temporal Properties |
WWW
2008
ACM
16 years 15 days ago
2008
ACM
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...
182
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
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...
106
click to vote
CVPR
2009
IEEE
15 years 9 months ago
2009
IEEE
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...
105
click to vote
ICDCS
2009
IEEE
15 years 9 months ago
2009
IEEE
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...
IUI
2009
ACM
15 years 8 months ago
2009
ACM
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 ...