Static analysis of cloud elasticity

We propose a static analysis technique that computes upper bounds of virtual machine usages in a concurrent language with explicit acquire and release operations of virtual machines. In our language it is possible to delegate other (ad-hoc or third party) concurrent code to release virtual machines...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 147; s. 27 - 53
Hlavní autoři:	Garcia, Abel, Laneve, Cosimo, Lienhardt, Michael
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.11.2017 Elsevier
Témata:	Behavioural type system Cloud computing Computation and Language Computer Science Concurrent programming Logic in Computer Science Programming Languages Resource consumption analysis Subject reduction Cloud computing Behavioural type system Subject reduction Resource consumption analysis Concurrent programming
ISSN:	0167-6423, 1872-7964
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!