'Concurrent gc' presentation slideshows

Portable, Unobtrusive Garbage Collection for Multiprocessor Systems

Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. Damien Doligez Georges Gonthier POPL 1994 Presented by Eran Yahav (yahave@math.tau.ac.il). Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.

708 views • 57 slides

A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations

A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations. Hongjin Liang , Xinyu Feng & Ming Fu Univ. of Science and Technology of China. Concurrent program transformations: . Source code. Multithreaded Java programs. T. Target code. Java bytecode.

338 views • 25 slides

Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms

383 views • 24 slides