SPAMR: Extending PAMR with Stochastic Time
From MaRDI portal
Publication:3522089
DOI10.1007/978-3-540-75211-0_6zbMath1149.68319MaRDI QIDQ3522089
Manuel A. Nunez, Ismael Rodríguez, Natalia López
Publication date: 28 August 2008
Published in: Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75211-0_6
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)