Asserting and Checking Determinism for Multithreaded Programs.
| Autor: | Burnim, Jacob1 jburnim@cs.berkeley.edu, Sen, Koushik1 ksen@cs.berkeley.edu |
|---|---|
| Zdroj: | Communications of the ACM. Jun2010, Vol. 53 Issue 6, p97-105. 9p. 2 Diagrams, 1 Chart. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|