Static Deadlock Detection in the Linux Kernel.
Peter T. BreuerMarisol García-VallsPublished in: Ada-Europe (2004)
Keyphrases
- linux kernel
- deadlock detection
- distributed database systems
- operating system
- distributed systems
- software systems
- source code
- clone detection
- manufacturing systems
- software evolution
- communication protocol
- open source
- database systems
- file system
- distributed databases
- distributed environment
- software maintenance
- analysis tool
- computer networks
- database applications
- software engineering
- data analysis