96 search results - page 11 / 20 » Detecting Data Races in Sequential Programs with DIOTA |
109
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
108
Voted
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
118
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
105
click to vote
DGO
2003
15 years 3 months ago
2003
New technology in knowledge discovery and data mining (KDD) make it possible to extract valuable information from operational data. Private businesses already use the technology f...
120
Voted
POPL
2011
ACM
14 years 4 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...