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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software testing, verification & reliability Jg. 25; H. 3; S. 218 - 271
Hauptverfasser:	Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Chichester Blackwell Publishing Ltd 01.05.2015 Wiley Subscription Services, Inc
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!