Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.
Yin WangHongwei LiaoSpyros A. ReveliotisTerence KellyScott A. MahlkeStéphane LafortunePublished in: CDC (2009)
Keyphrases
- modeling language
- software tools
- software development
- software architecture
- architectural models
- data sets
- software design
- software maintenance
- personal computer
- software components
- concurrency control
- resource allocation
- computer systems
- source code
- website
- information systems
- artificial intelligence
- neural network