Performance Modeling Articles

Page 1 of 1 (3 articles)

5/10/2025 • EN

Are We Serious About Using TLA+ For Statistical Properties?

Explores extending TLA+ for performance modeling using queueing theory and simulation, moving beyond just correctness verification.

distributed systems Formal Methods Performance Modeling Queueing Theory Tla

A. Jesse Jiryu Davis

1/4/2024 • EN

Java Modelling Tools

Exploring Java Modelling Tools (JMT) for performance modeling and simulation of queue networks, as an alternative to formal methods.

Discrete Event Simulation Java Modelling Tools Performance Modeling Queue Theory simulation

A. Jesse Jiryu Davis

9/3/2023 • EN

Review: Performance Modeling and Design of Computer Systems: Queueing Theory in Action

A review of the book 'Performance Modeling and Design of Computer Systems' by a group of distributed systems engineers, assessing its utility for practical performance analysis.

Computer Systems distributed systems Formal Methods Performance Modeling Queueing Theory

A. Jesse Jiryu Davis

Performance Modeling Articles

Are We Serious About Using TLA+ For Statistical Properties?

Java Modelling Tools

Review: Performance Modeling and Design of Computer Systems: Queueing Theory in Action

Select Language