Inproceedings,

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

, , , and .
ICTAC, volume 9965 of Lecture Notes in Computer Science, page 82-99. (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews