Files in this item
Resource Analyses for Parallel and Distributed Coordination
Item metadata
dc.contributor.author | Trinder, Phil | |
dc.contributor.author | Cole, Murray | |
dc.contributor.author | Hammond, Kevin | |
dc.contributor.author | Loidl, Hans-Wolfgang | |
dc.contributor.author | Michaelson, Greg | |
dc.date.accessioned | 2015-01-28T13:01:02Z | |
dc.date.available | 2015-01-28T13:01:02Z | |
dc.date.issued | 2013-03 | |
dc.identifier.citation | Trinder , 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.1898 | en |
dc.identifier.issn | 1532-0634 | |
dc.identifier.other | PURE: 14284379 | |
dc.identifier.other | PURE UUID: 92c05eb0-2b3e-4f49-bc4f-f4d768d81b37 | |
dc.identifier.other | Scopus: 84873741936 | |
dc.identifier.other | WOS: 000314934800002 | |
dc.identifier.other | ORCID: /0000-0002-4326-4562/work/33080458 | |
dc.identifier.uri | https://hdl.handle.net/10023/6039 | |
dc.description.abstract | Predicting 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.extent | 40 | |
dc.language.iso | eng | |
dc.relation.ispartof | Concurrency and Computation : Practice and Experience | en |
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/abstract | en |
dc.subject | Resource analysis | en |
dc.subject | Cost models | en |
dc.subject | Parallelism | en |
dc.subject | Distributed systems | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject.lcc | QA75 | en |
dc.title | Resource Analyses for Parallel and Distributed Coordination | en |
dc.type | Journal article | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.description.version | Postprint | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | https://doi.org/10.1002/cpe.1898 | |
dc.description.status | Peer reviewed | en |
dc.identifier.grantnumber | n/a | en |
dc.identifier.grantnumber | FP&-ICT-2011-7 | en |
dc.identifier.grantnumber | EP/G055181/1 | en |
dc.identifier.grantnumber | EP/F030657/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.