Miguel Areias, Ricardo Rocha. An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. In IEEE 18th International Conference on Parallel and Distributed Systems, ICPADS 2012, Singapore, December 17-19, 2012. pages 636-643, IEEE Computer Society, 2012. [doi]
Abstract is missing.