C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Effective pattern-driven concurrency bug detection for operating systems.
Shin Hong
Moonzoo Kim
Published in:
J. Syst. Softw. (2013)
Keyphrases
</>
operating system
computer systems
software systems
operating environment
virtual machine
windows xp
databases
source code
application programs
memory management
database systems
concurrency control
business rules
microsoft windows
linux kernel