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

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 147; pp. 27 - 53
Main Authors:	Garcia, Abel, Laneve, Cosimo, Lienhardt, Michael
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.11.2017 Elsevier
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!