{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:00:15Z","timestamp":1725732015922},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388552"},{"type":"electronic","value":"9783642388569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38856-9_23","type":"book-chapter","created":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T00:05:28Z","timestamp":1371254728000},"page":"433-453","source":"Crossref","is-referenced-by-count":0,"title":["Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation"],"prefix":"10.1007","author":[{"given":"Leo","family":"White","sequence":"first","affiliation":[]},{"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Supertech Research: Cilk 5.4.6 Reference Manual (1998)"},{"key":"23_CR2","unstructured":"Podobas, A., Brorsson, M., Fax\u00e9n, K.F.: A comparison of some recent task-based parallel programming models (2010)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-02303-3_6","volume-title":"Evolving OpenMP in an Age of Extreme Parallelism","author":"S.L. Olivier","year":"2009","unstructured":"Olivier, S.L., Prins, J.F.: Evaluating OpenMP 3.0 Run Time Systems on Unbalanced Task Graphs. In: M\u00fcller, M.S., de Supinski, B.R., Chapman, B.M. (eds.) IWOMP 2009. LNCS, vol.\u00a05568, pp. 63\u201378. Springer, Heidelberg (2009)"},{"key":"23_CR4","unstructured":"OpenMP Architecture Review Board: OpenMP Application Program Interface. Technical report (2008)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Blumofe, R.D., Leiserson, C.E.: Space-efficient scheduling of multithreaded computations. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, pp. 362\u2013371 (1993)","DOI":"10.1145\/167088.167196"},{"key":"23_CR6","unstructured":"Kowalski, R.: Predicate logic as programming language. Edinburgh University (1973)"},{"key":"23_CR7","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. IBM TJ Watson Research Center (1986)"},{"key":"23_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, vol.\u00a0161 (1988)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C., Pereira, L.: Antitonic logic programs. Logic Programming and Nonmotonic Reasoning, 379\u2013393 (2001)","DOI":"10.1007\/3-540-45402-0_28"},{"key":"23_CR10","unstructured":"Stallman, R.M.: GNU compiler collection internals. Free Software Foundation (2002)"},{"key":"23_CR11","unstructured":"Addison, C., LaGrone, J., Huang, L., Chapman, B.: OpenMP 3.0 tasking implementation in OpenUH. In: Open64 Workshop at CGO 2009 (2009)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Teruel, X., Martorell, X., Duran, A., Ferrer, R., Ayguad\u00e9, E.: Support for OpenMP tasks in Nanos v4. In: Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research, pp. 256\u2013259 (2007)","DOI":"10.1145\/1321211.1321241"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1109\/ICPP.2009.64","volume-title":"Proceedings of the 2009 International Conference on Parallel Processing, ICPP 2009","author":"A. Duran","year":"2009","unstructured":"Duran, A., Teruel, X., Ferrer, R., Martorell, X., Ayguade, E.: Barcelona OpenMP Tasks Suite: A Set of Benchmarks Targeting the Exploitation of Task Parallelism in OpenMP. In: Proceedings of the 2009 International Conference on Parallel Processing, ICPP 2009, pp. 124\u2013131. IEEE Computer Society, Washington, DC (2009)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38856-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:51:25Z","timestamp":1557795085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38856-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388552","9783642388569"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38856-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}