Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.

Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang

Browse the full ICTAC paper archive.