Detecting Race Conditions in Parallel Programs that Use Semaphores
Philip N. KleinHsueh-I LuRobert H. B. NetzerPublished in: CoRR (2002)
Keyphrases
- sufficient conditions
- high level programming language
- data sets
- computer architecture
- parallel processing
- computer programs
- automatic detection
- artificial neural networks
- real time
- multi agent systems
- parallel programming
- intermediate level
- program execution
- provably correct
- sorting algorithms
- website
- distributed memory machines