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...

Celý popis

Podrobná bibliografia

Vydané v:	Journal of logical and algebraic methods in programming Ročník 148; s. 101093
Hlavní autori:	Haeri, Seyed Hossein, Van Roy, Peter, Apfelmus, Heinrich, Thompson, Peter W., Davies, Neil J., Haveraaen, Magne, Barash, Mikhail, Hammond, Kevin, Chapman, James, Šinkarovs, Artjoms
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.01.2026
Predmet:	Algebraic reasoning System design Timeliness ΔQSD Algebraic reasoning 60H99 90B99 03B99 Timeliness 68M99 System design ΔQSD
ISSN:	2352-2208
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!