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á bibliografie

Vydáno v:	Journal of logical and algebraic methods in programming Ročník 148; s. 101093
Hlavní autoři:	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:	angličtina
Vydáno:	Elsevier Inc 01.01.2026
Témata:	Algebraic reasoning System design Timeliness ΔQSD Algebraic reasoning 60H99 90B99 03B99 Timeliness 68M99 System design ΔQSD
ISSN:	2352-2208
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!