An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs.

Miguel Areias, Ricardo Rocha

Browse the full ICPADS paper archive.