Sciweavers

616 search results - page 17 / 124
» An effective dynamic analysis for detecting generalized dead...
Sort
View
62
Voted
ATAL
2008
Springer
14 years 11 months ago
Characterizing effective auction mechanisms: insights from the 2007 TAC market design competition
This paper analyzes the entrants to the 2007 TAC Market Design competition. It presents a classification of the entries to the competition, and uses this classification to compare...
Jinzhong Niu, Kai Cai, Simon Parsons, Enrico Gerdi...
PLDI
2010
ACM
15 years 2 months ago
Adversarial memory for detecting destructive races
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
Cormac Flanagan, Stephen N. Freund
CHI
2011
ACM
14 years 1 months ago
Rendering physical effects in tabletop controls
We introduce dynamic physical properties as an additional degree of freedom for passive tabletop controls. Using electromagnetic actuation, we manipulate attributes of tangibles o...
Malte Weiss, Christian Remy, Jan Borchers
DIMVA
2010
14 years 9 months ago
dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
Matthias Neugschwandtner, Christian Platzer, Paolo...
SIGIR
2008
ACM
14 years 9 months ago
Optical character recognition errors and their effects on natural language processing
Errors are unavoidable in advanced computer vision applications such as optical character recognition, and the noise induced by these errors presents a serious challenge to downstr...
Daniel P. Lopresti