A Type System for Counting Logs of Multi-threaded Nested Transactional Programs.

Anh-Hoang Truong Dang Van Hung Duc-Hanh Dang Xuan-Tung Vu

Published in: ICDCIT (2016)

Keyphrases

multi threaded
operating system
computer architecture
neural network
information flow
multi core processors
evolutionary algorithm
fault tolerant
programming environment