Login / Signup
A type system for finding upper resource bounds of multi-threaded programs with nested transactions.
Xuan-Tung Vu
Thi Mai Thuong Tran
Anh-Hoang Truong
Martin Steffen
Published in:
SoICT (2012)
Keyphrases
</>
multi threaded
nested transactions
concurrency control
operating system
resource management
resource allocation
information flow
transaction model
multithreading
multi core processors
database
real time
computer architecture
low cost
programming environment