eprintid: 1954
rev_number: 6
eprint_status: archive
userid: 289
dir: disk0/00/00/19/54
datestamp: 2016-12-03 07:12:48
lastmod: 2016-12-03 07:12:48
status_changed: 2016-12-03 07:12:48
type: conference_item
metadata_visibility: show
creators_name: Truong, Anh Hoang
creators_name: Nguyen, Ngoc Khai
creators_name: Dang, Van Hung
creators_name: Dang, Duc Hanh
creators_id: hoangta@vnu.edu.vn
creators_id: hanhdd@vnu.edu.vn
title: Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2016
date_type: published
publisher: Springer
full_text_status: none
pres_type: paper
series: LNCS
volume: 9965
pagerange: 82-99
event_title: 13th International Conference on Theoretical Aspects of Computing (ICTAC)
event_type: conference
refereed: TRUE
citation:   Truong, Anh Hoang and Nguyen, Ngoc Khai and Dang, Van Hung and Dang, Duc Hanh  (2016) Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.  In: 13th International Conference on Theoretical Aspects of Computing (ICTAC).