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

Celý popis

Podrobná bibliografie

Vydáno v:	Software testing, verification & reliability Ročník 25; číslo 3; s. 218 - 271
Hlavní autoři:	Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Chichester Blackwell Publishing Ltd 01.05.2015 Wiley Subscription Services, Inc
Témata:	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
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!