« earlier | later » Page 1 of 1
checkedthreads: bug-free shared memory parallelism
Fork-join framework with static checking assisted by Valgrind. Good description of how the analysis works.
to ag0803 concurrency parallel software static-analysis valgrind ... on 15 December 2013
« earlier | later » Page 1 of 1
| - valgrind | |
| 1 | ag0803 |
| 1 | concurrency |
| 1 | parallel |
| 1 | software |
| 1 | static-analysis |
| 1 | valgrind |
tasty by Adam Sampson.