{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T00:16:15Z","timestamp":1719706575810},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1007\/s00354-014-0103-4","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T22:13:01Z","timestamp":1391206381000},"page":"59-91","source":"Crossref","is-referenced-by-count":1,"title":["pHood: Tool Description, Analysis Techniques, and Case Studies"],"prefix":"10.1007","volume":"32","author":[{"given":"Alberto","family":"de la Encina","sequence":"first","affiliation":[]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,2,18]]},"reference":[{"key":"103_CR1","doi-asserted-by":"crossref","unstructured":"Al Zain, A., Hammond, K., Berthold, J., Trinder, P. W., Michaelson, G. and Aswad, M., \u201cLow-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures,\u201d in Workshop on Declarative Aspects of Multicore Programming, DAMP\u201909, ACM, pp. 25\u201336, 2009.","DOI":"10.1145\/1481839.1481843"},{"key":"103_CR2","doi-asserted-by":"crossref","unstructured":"Al Zain, A., Trinder, P. W., Michaelson, G. and Loidl, H. W., \u201cEvaluating a high-level parallel language (GpH) for computational grids,\u201d IEEE Transactions on Parallel and Distributed Systems, 19, 2, pp. 219\u2013233, 2008.","DOI":"10.1109\/TPDS.2007.70728"},{"key":"103_CR3","unstructured":"Berthold, J. and Loogen, R., \u201cVisualizing parallel functional program runs: Case studies with the Eden trace viewer,\u201d in Parallel Computing: Architectures, Algorithms and Applications, ParCo\u201907, vol. 15 of Advances in Parallel Computing, IOS Press, pp. 121\u2013128, 2007."},{"key":"103_CR4","unstructured":"Cole, M., Algorithmic Skeletons: Structure Management of Parallel Computations (Research Monographs in Parallel and Distributed Computing), MIT Press, 1989."},{"key":"103_CR5","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/j.parco.2003.12.002","volume":"30","author":"M. Cole","year":"2004","unstructured":"Cole M.: \u201cBringing skeletons out of the closet: A pragmatic manifesto for skeletal parallel programming\u201d. Parallel Computing 30, 389\u2013406 (2004)","journal-title":"Parallel Computing"},{"key":"103_CR6","doi-asserted-by":"crossref","unstructured":"De la Encina, A., Rodr\u00edguez, I. and Rubio, F., \u201cA debugger for parallel Haskell dialects,\u201d in International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP\u201908, LNCS, 5022, Springer, pp. 282\u2013293, 2008.","DOI":"10.1007\/978-3-540-69501-1_30"},{"key":"103_CR7","doi-asserted-by":"crossref","unstructured":"Frlinger, K. and Gerndt, M., \u201compP: A profiling tool for OpenMP,\u201d in OpenMP Shared Memory Parallel Programming, LNCS, 4315, Springer, pp. 15\u201323, 2008.","DOI":"10.1007\/978-3-540-68555-5_2"},{"key":"103_CR8","unstructured":"Gill, A., \u201cDebugging Haskell by observing intermediate data structures,\u201d Electronic Notes in Theoretical Computer Science, 41, 1, 2000."},{"key":"103_CR9","unstructured":"Hern\u00e1ndez, F., Pe\u00f1a, R. and Rubio, F., \u201cFrom GranSim to Paradise,\u201d in Scottish Functional Programming Workshop, SFP\u201999, Intellect, pp. 11\u201319, 2000."},{"key":"103_CR10","doi-asserted-by":"crossref","unstructured":"Herrmann, C. A. and Lengauer, C., \u201cHDC: A higher-order language for divideand- conquer,\u201d Parallel Processing Letters, 10, 2-3, pp. 239\u2013250, 2000.","DOI":"10.1016\/S0129-6264(00)00023-8"},{"issue":"2","key":"103_CR11","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1142\/S0129626402000938","volume":"12","author":"M. H.-Herrero","year":"2002","unstructured":"H.-Herrero M., O.-Mall\u00e9n Y.: \u201cAn operational semantics for the parallel language eden\u201d. Parallel Processing Letters 12(2), 211\u2013228 (2002)","journal-title":"Parallel Processing Letters"},{"key":"103_CR12","doi-asserted-by":"crossref","unstructured":"H.-Herrero, M. and O.-Mall\u00e9n, Y., \u201cContinuation semantics for parallel Haskell dialects,\u201d in First Asian Symposium on Programming Languages and Systems (APLAS\u201903), LNCS, 1058, Springer-Verlag, pp. 303\u2013321, 2003.","DOI":"10.1007\/978-3-540-40018-9_20"},{"issue":"7-8","key":"103_CR13","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/j.parco.2006.08.006","volume":"32","author":"M. H.-Herrero","year":"2006","unstructured":"H.-Herrero M., O.-Mall\u00e9n Y., Rubio F.: \u201cAnalyzing the influence of mixed evaluation on the performance of Eden skeletons\u201d. Parallel Computing 32(7-8), 523\u2013538 (2006)","journal-title":"Parallel Computing"},{"key":"103_CR14","unstructured":"Jones, S. L. P., Leshchinskiy, R., Keller, G. and Chakravarty, M. T., \u201cHarnessing the multicores: Nested data parallelism in Haskell,\u201d in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS\u201908, Dagstuhl Seminar Proceedings, pp. 383\u2013414, 2008."},{"key":"103_CR15","doi-asserted-by":"crossref","unstructured":"Keller, G., Chakravarty, M. T., Leshchinskiy, R., Jones, S. L. P. and Lippmeier, B., \u201cRegular, shape-polymorphic, parallel arrays in Haskell,\u201d in International Conference on Functional Programming, ICFP\u201910, ACM, pp. 261\u2013272, 2010.","DOI":"10.1145\/1863543.1863582"},{"key":"103_CR16","unstructured":"Kelly, P. H. J., Functional Programming for Loosely-Coupled Multiprocessors, (Research Monographs in Parallel and Distributed Computing), MIT Press, 1989."},{"key":"103_CR17","doi-asserted-by":"crossref","unstructured":"Klusik, U., Loogen, R., Priebe, S. and Rubio, F., \u201cImplementation skeletons in Eden: Low-effort parallel programming,\u201d in Implementation of Functional Languages, IFL\u201900, LNCS, 2011, Springer, pp. 71\u201388, 2001.","DOI":"10.1007\/3-540-45361-X_5"},{"key":"103_CR18","unstructured":"Klusik, U., Pe\u00f1a, R. and Rubio, F., \u201cReplicated workers in Eden,\u201d in Constructive Methods for Parallel Programming, CMPP\u201900, Nova Science, pp. 143\u2013164, 2000."},{"key":"103_CR19","doi-asserted-by":"crossref","unstructured":"Lauer, M., \u201cComputing by homomorphic images,\u201d in Computer Algebra\u2014Symbolic and Algebraic Computation, Springer-Verlag, pp. 139\u2013168, 1982.","DOI":"10.1007\/978-3-7091-3406-1_10"},{"key":"103_CR20","doi-asserted-by":"crossref","unstructured":"Lipson, J. D., \u201cChinese remainder and interpolation algorithms,\u201d in Symp. Symbolic and Algebraic Manipulation, SYMSAM\u201971, Academic Press, pp. 372\u2013391, 1971.","DOI":"10.1145\/800204.806309"},{"key":"103_CR21","unstructured":"Loidl, H. W., \u201cGransim user\u2019s guide,\u201d Department of Computing Science, University of Glasgow, 1996."},{"key":"103_CR22","unstructured":"Loidl, H. W., \u201cLinsolv: a case study in strategic parallelism,\u201d in Glasgow Workshop on Functional Programming, 1997."},{"issue":"3","key":"103_CR23","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1025641323400","volume":"16","author":"H. W. Loidl","year":"2003","unstructured":"Loidl H. W., Rubio F., Scaife N., Hammond K., Horiguchi S., Klusik U., Loogen R., Michaelson G., Pe\u00f1a R., Portillo \u00c1. J. R., Priebe S., Trinder P. W.: \u201cComparing parallel functional languages: Programming and performance\u201d. Higher-Order and Symbolic Computation 16(3), 203\u2013251 (2003)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"3","key":"103_CR24","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R. Loogen","year":"2005","unstructured":"Loogen R., O.-Mall\u00e9n Y., Pe\u00f1a R.: \u201cParallel functional programming in Eden\u201d. Journal of Functional Programming 15(3), 431\u2013475 (2005)","journal-title":"Journal of Functional Programming"},{"key":"103_CR25","doi-asserted-by":"crossref","unstructured":"Loogen, R., O.-Mall\u00e9n, Y., Pe\u00f1a, R., Priebe, S. and Rubio, F., \u201cParallelism abstractions in Eden,\u201d in Patterns and Skeletons for Parallel and Distributed Computing (Rabhi, F. A. and Gorlatch, S. eds.), Springer-Verlag, pp. 95\u2013128, 2002.","DOI":"10.1007\/978-1-4471-0097-3_4"},{"key":"103_CR26","doi-asserted-by":"crossref","unstructured":"Marlow, S., Jones, S. L. P. and Singh, S., \u201cRuntime support for multicore Haskell,\u201d in International Conference on Functional Programming, ICFP\u201909, ACM Press, pp. 65\u201378, 2009.","DOI":"10.1145\/1596550.1596563"},{"key":"103_CR27","unstructured":"May, J. and Gyllenhaal, J. C., \u201cTool Gear: Infrastructure for parallel tools,\u201d in PDPTA, CSREA Press, pp. 231\u2013240, 2003."},{"key":"103_CR28","unstructured":"Nagel, W. E., Arnold, A., Weber, M., Hoppe, H.-Ch. and Solchenbach, K., \u201cVAMPIR: Visualization and analysis of MPI resources,\u201d Supercomputer, 12, pp. 69\u201380, 1996."},{"key":"103_CR29","doi-asserted-by":"crossref","unstructured":"Oancea, C. E. and Mycroft, A., \u201cSoftware thread-level speculation: an optimistic library implementation,\u201d in 1st International Workshop on Multicore Software Engineering, IWMSE\u201908, ACM, pp. 23\u201332, 2008.","DOI":"10.1145\/1370082.1370090"},{"key":"103_CR30","unstructured":"Jones, S. L. P. and Hughes, J., \u201cReport on the programming language Haskell 98. Technical report,\u201d February 1999. http:\/\/www.haskell.org ."},{"key":"103_CR31","unstructured":"Press, W., Teukolsky, S., Vetterling, W. and Flannery, B., Numerical Recipes in C: The Art of Scientific Computing 2nd Edition, chapter LU Decomposition and Its Applications, Cambridge University Press, 1992."},{"key":"103_CR32","doi-asserted-by":"crossref","unstructured":"Prvulovic, M. and Torrellas, J., \u201cReenact: using thread-level speculation mechanisms to debug data races in multithreaded codes,\u201d in 30th Annual International Symposium on Computer Architecture, IEEE, pp. 110\u2013121, 2003.","DOI":"10.1145\/859618.859632"},{"key":"103_CR33","unstructured":"Rubio, F. and Rodr\u00edguez, I., \u201cA parallel framework for computational science,\u201d in International Conference on Computational Science, ICCS\u201903, LNCS, 2658, Springer-Verlag, pp. 1002\u20131011, 2003."},{"issue":"4","key":"103_CR34","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1017\/S0956796804005489","volume":"15","author":"N. Scaife","year":"2005","unstructured":"Scaife N., Horiguchi S., Michaelson G., Bristow P.: \u201cA parallel SML compiler based on algorithmic skeletons\u201d. Journal of Functional Programming 15(4), 615\u2013650 (2005)","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"103_CR35","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1177\/1094342006064482","volume":"20","author":"S.S. Shende","year":"2006","unstructured":"Shende S.S., Malony A. D.: Tau parallel performance system\u201d. Int. J. High Performance Computing Applications 20(2), 287\u2013311 (2006)","journal-title":"Int. J. High Performance Computing Applications"},{"key":"103_CR36","doi-asserted-by":"crossref","unstructured":"Trinder, P. W., Hammond, K., Mattson Jr., J. S., Partridge, A. S. and Jones, S. L. P., \u201cGUM: a portable parallel implementation of Haskell,\u201d in Programming Language Design and Implementation, PLDI\u201996, ACM Press, pp. 79\u201388, 1996.","DOI":"10.1145\/249069.231392"},{"issue":"1","key":"103_CR37","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P. W Trinder","year":"1998","unstructured":"Trinder P. W, Hammond K, Loidl H-W, Jones S. L. P: \u201cAlgorithm + Strategy = Parallelism\u201d. Journal of Functional Programming 8(1), 23\u201360 (1998)","journal-title":"Journal of Functional Programming"},{"issue":"4-5","key":"103_CR38","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S0956796802004343","volume":"12","author":"P. W. Trinder","year":"2002","unstructured":"Trinder P. W., Loidl H. W., Pointon R. F.: \u201cParallel and distributed Haskells\u201d. Journal of Functional Programming 12(4-5), 469\u2013510 (2002)","journal-title":"Journal of Functional Programming"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-014-0103-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-014-0103-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-014-0103-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T05:50:40Z","timestamp":1565157040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-014-0103-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["103"],"URL":"https:\/\/doi.org\/10.1007\/s00354-014-0103-4","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]}}}