Object-sensitive cost analysis for concurrent objects

SummaryThis article presents a novel cost analysis framework for concurrent objects. Concurrent objects form a well‐established model for distributed concurrent systems. In this model, objects are the concurrency units that communicate among them via asynchronous method calls. Cost analysis aims at...

Full description

Bibliographic Details

Published in:	Software testing, verification & reliability Vol. 25; no. 3; pp. 218 - 271
Main Authors:	Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo
Format:	Journal Article
Language:	English
Published:	Chichester Blackwell Publishing Ltd 01.05.2015 Wiley Subscription Services, Inc
Subjects:	Approximation Concurrency Consumption Cost analysis distributed systems Handles Mathematical analysis Mathematical models object-sensitive analysis Programming Programming languages resource usage analysis static analysis
ISSN:	0960-0833, 1099-1689
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!