Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.

Peter Csaba Ölveczky Pavithra Prabhakar Xue Liu

Published in: IPDPS (2008)

Keyphrases

real time
resource sharing
data analysis
end to end
databases
theoretical framework
resource allocation