467 search results - page 83 / 94 » Processing top k queries from samples |
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the likely causes of failu...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
SOUPS
2005
ACM
14 years 2 months ago
2005
ACM
In this article, we describe the design process of Reno, a location-enhanced, mobile coordination tool and person finder. The design process included three field experiments: a ...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
Structured data including sets, sequences, trees and graphs, pose significant challenges to fundamental aspects of data management such as efficient storage, indexing, and simila...
MM
2010
ACM
13 years 9 months ago
2010
ACM
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...