1523 search results - page 32 / 305 » Detecting and Sketching the Common |
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
A common technique for result verification in grid computing is to delegate a computation redundantly to different workers and apply majority voting to the returned results. Howe...
PLDI
2000
ACM
15 years 2 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
105
click to vote
JCS
1998
14 years 9 months ago
1998
A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...
RAID
2010
Springer
14 years 8 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
148
click to vote
SAT
2011
Springer
14 years 16 days ago
2011
Springer
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...