Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorTrinder, Phil
dc.contributor.authorCole, Murray
dc.contributor.authorHammond, Kevin
dc.contributor.authorLoidl, Hans-Wolfgang
dc.contributor.authorMichaelson, Greg
dc.date.accessioned2015-01-28T13:01:02Z
dc.date.available2015-01-28T13:01:02Z
dc.date.issued2013-03
dc.identifier.citationTrinder , P , Cole , M , Hammond , K , Loidl , H-W & Michaelson , G 2013 , ' Resource Analyses for Parallel and Distributed Coordination ' , Concurrency and Computation : Practice and Experience , vol. 25 , no. 3 , pp. 309-348 . https://doi.org/10.1002/cpe.1898en
dc.identifier.issn1532-0634
dc.identifier.otherPURE: 14284379
dc.identifier.otherPURE UUID: 92c05eb0-2b3e-4f49-bc4f-f4d768d81b37
dc.identifier.otherScopus: 84873741936
dc.identifier.otherWOS: 000314934800002
dc.identifier.otherORCID: /0000-0002-4326-4562/work/33080458
dc.identifier.urihttp://hdl.handle.net/10023/6039
dc.description.abstractPredicting the resources that are consumed by a program component is crucial for many parallel or distributed systems. In this context, the main resources of interest are execution time, space and communication/synchronisation costs. There has recently been significant progress in resource analysis technology, notably in type-based analyses and abstract interpretation. At the same time, parallel and distributed computing are becoming increasingly important. This paper synthesises progress in both areas to survey the state-of-the-art in resource analysis for parallel and distributed computing. We articulate a general model of resource analysis and describe parallel/distributed resource analysis together with the relationship to sequential analysis. We use three parallel or distributed resource analyses as examples and provide a critical evaluation of the analyses. We investigate why the chosen analysis is effective for each application and identify general principles governing why the resource analysis is effective.
dc.format.extent40
dc.language.isoeng
dc.relation.ispartofConcurrency and Computation : Practice and Experienceen
dc.rights© 2011. John Wiley & Sons, Ltd. This is the accepted version of the following article: Resource Analyses for Parallel and Distributed Coordination Trinder, P., Cole, M., Hammond, K., Loidl, H-W. & Michaelson, G. Mar 2013 In : Concurrency and Computation : Practice and Experience. 25, 3, p. 309-348, which has been published in final form at http://onlinelibrary.wiley.com/doi/10.1002/cpe.1898/abstracten
dc.subjectResource analysisen
dc.subjectCost modelsen
dc.subjectParallelismen
dc.subjectDistributed systemsen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleResource Analyses for Parallel and Distributed Coordinationen
dc.typeJournal articleen
dc.description.versionPostprinten
dc.contributor.institutionUniversity of St Andrews.School of Computer Scienceen
dc.contributor.institutionUniversity of St Andrews.Centre for Interdisciplinary Research in Computational Algebraen
dc.identifier.doihttps://doi.org/10.1002/cpe.1898
dc.description.statusPeer revieweden


This item appears in the following Collection(s)

Show simple item record