Detecting Race Conditions in Parallel Programs that Use One Semaphore.
Hsueh-I LuPhilip N. KleinRobert H. B. NetzerPublished in: WADS (1993)
Keyphrases
- sorting algorithms
- high level programming language
- databases
- computer programs
- sufficient conditions
- parallel processing
- parallel implementation
- massively parallel
- parallel computing
- automatic detection
- information systems
- data sets
- database
- distributed systems
- multi agent
- computer architecture
- programming environment
- parallel programming