Sciweavers

5263 search results - page 995 / 1053
» Data sources selection for XML data sources
Sort
View
SIGMETRICS
2011
ACM
245views Hardware» more  SIGMETRICS 2011»
14 years 16 days ago
Record and transplay: partial checkpointing for replay debugging across heterogeneous systems
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
Dinesh Subhraveti, Jason Nieh
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 5 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
WSDM
2012
ACM
296views Data Mining» more  WSDM 2012»
13 years 5 months ago
Inferring social ties across heterogenous networks
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
Jie Tang, Tiancheng Lou, Jon M. Kleinberg
ICDE
2012
IEEE
241views Database» more  ICDE 2012»
13 years 4 days ago
GeoFeed: A Location Aware News Feed System
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...
Jie Bao 0003, Mohamed F. Mokbel, Chi-Yin Chow
INFOCOM
2012
IEEE
13 years 4 days ago
Coding and replication co-design for interactive multiview video streaming
—Multiview video refers to the simultaneous capturing of multiple video views with an array of closely spaced cameras. In an interactive multiview video streaming (IMVS) system, ...
Huan Huang, Bo Zhang, S.-H. Gary Chan, Gene Cheung...