Algebraic reasoning for timeliness-guided system design

Designing distributed systems to have predictable performance under all loads is difficult because of resource exhaustion, nonlinearity, and stochastic behaviour. Timeliness, defined as delivering results (sufficiently often) within a specified delay distribution, is a central aspect of predictable...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 148; S. 101093
Hauptverfasser:	Haeri, Seyed Hossein, Van Roy, Peter, Apfelmus, Heinrich, Thompson, Peter W., Davies, Neil J., Haveraaen, Magne, Barash, Mikhail, Hammond, Kevin, Chapman, James, Šinkarovs, Artjoms
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.01.2026
Schlagworte:	Algebraic reasoning System design Timeliness ΔQSD Algebraic reasoning 60H99 90B99 03B99 Timeliness 68M99 System design ΔQSD
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!