- Formal Verification of a Work Stealing Queue https://fzn.fr/readings/ppopp13.pdf 2 comments c_programming
- Chase Lev Lockfree Work Queue https://fzn.fr/readings/ppopp13.pdf 5 comments c_programming
Linking pages
Would you like to stay up to date with C & C++? Checkout C & C++
Weekly.
Related searches:
Search whole site: site:fzn.fr
Search title: Formal Verification of a Work Stealing Queue
See how to search.