Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CORR
2002
Springer
117views Education» more  CORR 2002»
11 years 1 months ago
Detecting Race Conditions in Parallel Programs that Use Semaphores
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...
Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer

Lecture Notes
2028views
12 years 10 months ago
A Short Introduction to Operating System
As the name implies, it is a short introduction about operating system.
Mark Burgess

Book
494views
12 years 11 months ago
The Little Book of Semaphores
"I wrote the first edition this book with the goal of identifying synchronization idioms and patterns that could be understood in isolation and then assembled to solve compl...
Allen B. Downey
books