{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:21:32Z","timestamp":1725891692611},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153303"},{"type":"electronic","value":"9783642153310"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15331-0_5","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T05:11:25Z","timestamp":1283836285000},"page":"67-83","source":"Crossref","is-referenced-by-count":0,"title":["Characterising Effective Resource Analyses for Parallel and Distributed Coordination"],"prefix":"10.1007","author":[{"given":"Phil","family":"Trinder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murray","family":"Cole","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Wolfgang","family":"Loidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Michaelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-92188-2_5","volume-title":"Formal Methods for Components and Objects","author":"E. Albert","year":"2008","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 113\u2013132. Springer, Heidelberg (2008)"},{"key":"5_CR2","volume-title":"Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall, Englewood Cliffs (1997)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-540-45209-6_97","volume-title":"Euro-Par 2003 Parallel Processing","author":"H. Bischof","year":"2003","unstructured":"Bischof, H., Gorlatch, S., Kitzelmann, E.: Cost Optimality and Predictability of Parallel Programming with Skeletons. In: Kosch, H., B\u00f6sz\u00f6rm\u00e9nyi, L., Hellwagner, H. (eds.) Euro-Par 2003. LNCS, vol.\u00a02790, pp. 682\u2013693. Springer, Heidelberg (2003)"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198529392.001.0001","volume-title":"Parallel Scientific Computation: A Structured Approach using BSP and MPI","author":"R. Bisseling","year":"2004","unstructured":"Bisseling, R.: Parallel Scientific Computation: A Structured Approach using BSP and MPI. Oxford University Press, Oxford (2004)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-74130-5_14","volume-title":"Implementation and Application of Functional Languages","author":"A. Bonenfant","year":"2007","unstructured":"Bonenfant, A., Ferdinand, C., Hammond, K., Heckmann, R.: Worst-Case Execution Times for a Purely Functional Language. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 235\u2013252. Springer, Heidelberg (2007)"},{"key":"5_CR6","volume-title":"Algorithmic skeletons: structured management of parallel computation","author":"M. Cole","year":"1989","unstructured":"Cole, M.: Algorithmic skeletons: structured management of parallel computation. MIT Press, Cambridge (1989)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: POPL\u201977 \u2014 Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238\u2013252 (January 1977)","DOI":"10.1145\/512950.512973"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J. Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. ACM Commun.\u00a051(1), 107\u2013113 (2008)","journal-title":"ACM Commun."},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.cl.2009.01.003","volume":"36","author":"X.Y. Deng","year":"2010","unstructured":"Deng, X.Y., Trinder, P., Michaelson, G.: Cost-Driven Autonomous Mobility. Computer Languages, Systems and Structures\u00a036(1), 34\u201351 (2010)","journal-title":"Computer Languages, Systems and Structures"},{"issue":"3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R. Wilhelm","year":"2008","unstructured":"Wilhelm, R., et al.: The Worst-Case Execution-Time Problem\u2014Overview of Methods and Survey of Tools. ACM Trans. Embed. Comput. Syst.\u00a07(3), 1\u201353 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45449-7_32","volume-title":"Embedded Software","author":"C. Ferdinand","year":"2001","unstructured":"Ferdinand, C., Heckmann, R., et al.: Reliable and precise WCET determination for a real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 469\u2013485. Springer, Heidelberg (2001)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/800133.804339","volume-title":"STOC \u201978: Proceedings of the tenth annual ACM symposium on Theory of computing","author":"S. Fortune","year":"1978","unstructured":"Fortune, S., Wyllie, J.: Parallelism in random access machines. In: STOC \u201978: Proceedings of the tenth annual ACM symposium on Theory of computing, pp. 114\u2013118. ACM, New York (1978)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-69384-0_43","volume-title":"Computational Science \u2013 ICCS 2008","author":"F. Gava","year":"2008","unstructured":"Gava, F.: Bsp functional programming: Examples of a cost based methodology. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part I. LNCS, vol.\u00a05101, pp. 375\u2013385. Springer, Heidelberg (2008)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Hammond, K., Loogen, R., Berhold, J.: Automatic Skeletons in Template Haskell. In: Proceedings of 2003 Workshop on High Level Parallel Programming, Paris, France (June 2003)","DOI":"10.1142\/S0129626403001380"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1142\/S0129626402000859","volume":"12","author":"Y. Hayashi","year":"2002","unstructured":"Hayashi, Y., Cole, M.: Automated cost analysis of a parallel maximum segment sum program derivation. Parallel Processing Letters\u00a012(1), 95\u2013111 (2002)","journal-title":"Parallel Processing Letters"},{"key":"5_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, New York (1996)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/182409.182442","volume-title":"LFP \u201994: Proc. LISP and Functional Programming","author":"L. Huelsbergen","year":"1994","unstructured":"Huelsbergen, L., Larus, J.R., Aiken, A.: Using the run-time sizes of data structures to guide parallel-thread creation. In: LFP \u201994: Proc. LISP and Functional Programming, pp. 79\u201390. ACM, New York (1994)"},{"key":"5_CR18","volume-title":"POPL\u201996 \u2014 Symposium on Principles of Programming Languages","author":"R.J.M. Hughes","year":"1996","unstructured":"Hughes, R.J.M., Pareto, L., Sabry, A.: Proving the Correctness of Reactive Systems Using Sized Types. In: POPL\u201996 \u2014 Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, ACM, New York (January 1996)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1007\/BFb0002796","volume-title":"Euro-Par \u201997 Parallel Processing","author":"C.B. Jay","year":"1997","unstructured":"Jay, C.B., Cole, M.I., Sekanina, M., Steckler, P.: A monadic calculus for parallel costing of a functional language of arrays. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol.\u00a01300, pp. 650\u2013661. Springer, Heidelberg (1997)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-05089-3_23","volume-title":"FM 2009: Formal Methods","author":"S. Jost","year":"2009","unstructured":"Jost, S., Loidl, H.-W., Hammond, K., Scaife, N., Hofmann, M.: \u201cCarbon Credits\u201d for Resource-Bounded Computations using Amortised Analysis. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 354\u2013369. Springer, Heidelberg (2009)"},{"key":"#cr-split#-5_CR21.1","unstructured":"Jost, S., Loidl, H.-W., Scaife, N., Hammond, K., Michaelson, G., Hofmann, M.: Worst-Case Execution Time Analysis through Types. In: Proc. of Euromicro Conference on Real-Time Systems (ECRTS???09), Dublin, Ireland, July 1-3, pp. 13???17 (2009);"},{"key":"#cr-split#-5_CR21.2","unstructured":"Work-in-Progress Session"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/99370.99390","volume-title":"FPCA\u201989 \u2014 Conference on Functional Programming Languages and Computer Architecture","author":"T.-M. Kuo","year":"1989","unstructured":"Kuo, T.-M., Mishra, P.: Strictness Analysis: a New Perspective Based on Type Inference. In: FPCA\u201989 \u2014 Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, UK, September 11-13, pp. 260\u2013272. ACM Press, New York (1989)"},{"key":"5_CR23","unstructured":"Loidl, H.-W.: Granularity in Large-Scale Parallel Functional Programming. PhD thesis, Department of Computing Science, University of Glasgow (March 1998)"},{"key":"5_CR24","unstructured":"Loidl, H.-W., Hammond, K.: A Sized Time System for a Parallel Functional Language. In: Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 8-10 (1996)"},{"key":"5_CR25","first-page":"61","volume-title":"HICSS\u201995: Proceedings of the 28th Hawaii International Conference on System Sciences","author":"B.M. Maggs","year":"1995","unstructured":"Maggs, B.M., Matheson, L.R., Tarjan, R.E.: Models of Parallel Computation: A Survey and Synthesis. In: HICSS\u201995: Proceedings of the 28th Hawaii International Conference on System Sciences, Washington, DC, USA, pp. 61\u201370. IEEE Computer Society, Los Alamitos (1995)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-69611-7_9","volume-title":"Practical Aspects of Declarative Languages","author":"E. Mera","year":"2006","unstructured":"Mera, E., L\u00f3pez-Garc\u00eda, P., Puebla, G., Carro, M., Hermenegildo, M.: Combining Static Analysis and Profiling for Estimating Execution Times. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 140\u2013154. Springer, Heidelberg (2006)"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Necula, G.: Proof-carrying-code. In: Symposium on Principles of Programming Languages (POPL\u201997), Paris, France, January 15-17, pp. 106\u2013116 (1997)","DOI":"10.1145\/263699.263712"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/ECRTS.2009.30","volume-title":"Proc. of Euromicro Conference on Real-Time Systems (ECRTS\u201909)","author":"E. Qui\u00f1nones","year":"2009","unstructured":"Qui\u00f1nones, E., Berger, E.D., Bernat, G., Cazorla, F.J.: Using Randomized Caches in Probabilistic Real-Time Systems. In: Proc. of Euromicro Conference on Real-Time Systems (ECRTS\u201909), Dublin, Ireland, July 1-3, pp. 129\u2013138. IEEE, Los Alamitos (2009)"},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/182409.182439","volume-title":"LFP \u201994: Proceedings of the 1994 ACM Conference on LISP and Functional Programming","author":"B. Reistad","year":"1994","unstructured":"Reistad, B., Gifford, D.K.: Static dependent costs for estimating execution time. In: LFP \u201994: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, pp. 65\u201378. ACM, New York (1994)"},{"key":"5_CR30","unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages. PhD thesis, School of Computer Science, Carnegie Mellon University (May 1991)"},{"issue":"1","key":"5_CR31","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1006\/jpdc.1995.1089","volume":"28","author":"D.B. Skillicorn","year":"1995","unstructured":"Skillicorn, D.B., Cai, W.: A cost calculus for parallel functional programming. J. Parallel Distrib. Comput.\u00a028(1), 65\u201383 (1995)","journal-title":"J. Parallel Distrib. Comput."},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Yaikhom, G., Cole, M., Gilmore, S.: Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel mean value analysis algorithm. In: International Conference on Computational Science, vol.\u00a0(2), pp. 929\u2013936 (2006)","DOI":"10.1007\/11758525_123"}],"container-title":["Lecture Notes in Computer Science","Foundational and Practical Aspects of Resource Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15331-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T20:41:52Z","timestamp":1559594512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15331-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153303","9783642153310"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15331-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}