Items by "Dechev, Damian"

Dechev, Damian (2012) The ABA Problem in Multicore Data Structures with Collaborating Operations. In: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing.

Dechev, Damian and Rouquette, Nicolas and Pirkelbauer, Peter and Stroustrup, Bjarne (2010) Verification and Semantic Parallelization of Goal-driven Autonomous Software. In: 2nd International ICST Conference on Autonomic Computing and Communication Systems.