An exercise in proving parallel programs correct
Communications of the ACM
Analysis of an algorithm for real time garbage collection
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
Hi-index | 48.22 |