Threads as Resource for Concurrency Verification.
Duy-Khanh LeWei-Ngan ChinYong Meng TeoPublished in: PEPM (2015)
Keyphrases
- model checking
- resource allocation
- web resources
- genetic algorithm
- concurrency control
- multi threaded
- face verification
- resource management
- verification method
- database systems
- resource constraints
- data sets
- formal methods
- resource consumption
- formal verification
- database
- object oriented languages
- resource usage
- allocation scheme
- fingerprint verification
- artificial intelligence
- information retrieval
- real time