{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T01:44:57Z","timestamp":1648863897872},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,6,26]],"date-time":"2012-06-26T00:00:00Z","timestamp":1340668800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s11227-012-0797-3","type":"journal-article","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T20:37:53Z","timestamp":1340656673000},"page":"167-176","source":"Crossref","is-referenced-by-count":0,"title":["From latex specifications to parallel codes"],"prefix":"10.1007","volume":"64","author":[{"given":"Alejandro","family":"Acosta","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Ignacio","family":"Pel\u00e1ez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,26]]},"reference":[{"key":"797_CR1","first-page":"214","volume-title":"JMLC","author":"M Schordan","year":"2003","unstructured":"Schordan M, Quinlan DJ (2003) A source-to-source architecture for user-defined optimizations. In: JMLC, pp 214\u2013223"},{"key":"797_CR2","unstructured":"Dooley I (2006) Automated source-to-source translations to assist parallel programmers. Master\u2019s thesis, Dept. of Computer Science, University of Illinois. http:\/\/charm.cs.uiuc.edu\/papers\/DooleyMSThesis06.shtml"},{"key":"797_CR3","series-title":"LNCS","first-page":"1","volume-title":"LCPC08","author":"SZ Ueng","year":"2008","unstructured":"Ueng SZ, Lathara M, Baghsorkhi SS, Hwu WMW (2008) Cuda-lite: reducing gpu programming complexity. In: LCPC08. LNCS, vol 5335. Springer, Berlin, pp 1\u201315"},{"key":"797_CR4","first-page":"640","volume-title":"Proceedings of the 8th international Euro-Par conference on parallel processing, Euro-Par\u201902","author":"H Bischof","year":"2002","unstructured":"Bischof H, Gorlatch S (2002) Double-scan: introducing and implementing a new data-parallel skeleton. In: Proceedings of the 8th international Euro-Par conference on parallel processing, Euro-Par\u201902. Springer, London, pp 640\u2013647"},{"key":"797_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 (2004) Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming. Parallel Comput 30:389\u2013406","journal-title":"Parallel Comput"},{"key":"797_CR6","unstructured":"Gonz\u00e1lez-V\u00e9lez H, Leyton M. A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers. Softw Pract Exper"},{"key":"797_CR7","unstructured":"ROSE. www.rosecompiler.org"},{"key":"797_CR8","volume-title":"Proceedings of the 2nd workshop on highly parallel processing on a chip (HPPC 2008), in conjunction with Euro-Par 2008","author":"S Benkner","year":"2008","unstructured":"Benkner S, Mehofer E, Pllana S (2008) Towards an intelligent environment for programming multi-core computing systems. In: Proceedings of the 2nd workshop on highly parallel processing on a chip (HPPC 2008), in conjunction with Euro-Par 2008"},{"issue":"11","key":"797_CR9","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.2009.385","volume":"42","author":"C Dave","year":"2009","unstructured":"Dave C, Bae H, Min S-J, Lee S, Eigenmann R, Midkiff SP (2009) Cetus: a source-to-source compiler infrastructure for multicores. IEEE Comput 42(11):36\u201342","journal-title":"IEEE Comput"},{"key":"797_CR10","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1287\/mnsc.1100.1143","volume":"56","author":"J Nascimento","year":"2010","unstructured":"Nascimento J, Powell W (2010) Dynamic programming models and algorithms for the mutual fund cash balance problem. Manag Sci 56:801\u2013815","journal-title":"Manag Sci"},{"key":"797_CR11","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1287\/ijoc.1090.0359","volume":"22","author":"A Erdelyi","year":"2010","unstructured":"Erdelyi A, Topaloglu H (2010) A dynamic programming decomposition method for making overbooking decisions over an airline network. INFORMS J Comput 22:443\u2013456","journal-title":"INFORMS J Comput"},{"issue":"3","key":"797_CR12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/j.tre.2010.11.005","volume":"47","author":"K Huang","year":"2011","unstructured":"Huang K, Liang Y-T (2011) A dynamic programming algorithm based on expected revenue approximation for the network revenue management problem. Transp Res, Part E, Log Transp Rev 47(3):333\u2013341","journal-title":"Transp Res, Part E, Log Transp Rev"},{"key":"797_CR13","first-page":"1","volume":"11","author":"T Ibaraki","year":"1988","unstructured":"Ibaraki T (1988) Enumerative approaches to combinatorial optimization, part II. Ann Oper Res 11:1\u20134","journal-title":"Ann Oper Res"},{"key":"797_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1006\/jpdc.1997.1371","volume":"45","author":"R Andonov","year":"1997","unstructured":"Andonov R, Rajopadhye S (1997) Optimal orthogonal tiling of 2-D iterations. J Parallel Distrib Comput 45:159\u2013165","journal-title":"J Parallel Distrib Comput"},{"key":"797_CR15","volume-title":"Parallel computing","author":"D Morales","year":"2000","unstructured":"Morales D, Almeida F, Rodr\u00edguez C, Roda J, Delgado A, Coloma I (2000) Parallel dynamic programming and automata theory. In: Parallel computing"},{"key":"797_CR16","doi-asserted-by":"crossref","unstructured":"Eckstein J, Phillips CA, Hart WE (2000) In: PIcO: an object-oriented framework for parallel branch and bound. Technical report, RUTCOR","DOI":"10.2172\/771506"},{"key":"797_CR17","first-page":"157","volume-title":"European operational research conference (EURO\u20192001)","author":"B Le Cun","year":"2001","unstructured":"Le Cun B (2001) Bob++ library illustrated by VRP. In: European operational research conference (EURO\u20192001), Rotterdam, p 157"},{"key":"797_CR18","first-page":"738","volume":"23","author":"BC Lubow","year":"1997","unstructured":"Lubow BC (1997) SDP: generalized software for solving stochastic dynamic optimization problems. Wildl Soc Bull 23:738\u2013742","journal-title":"Wildl Soc Bull"},{"key":"797_CR19","volume-title":"Seventh international conference on parallel processing and applied mathematics, PPAM2007","author":"I Pel\u00e1ez","year":"2007","unstructured":"Pel\u00e1ez I, Almeida F, Su\u00e1rez F (2007) Dpskel: a skeleton based tool for parallel dynamic programming. In: Seventh international conference on parallel processing and applied mathematics, PPAM2007"},{"key":"797_CR20","first-page":"872","volume-title":"International conference on computational science (1)","author":"I Pel\u00e1ez","year":"2006","unstructured":"Pel\u00e1ez I, Almeida F, Gonz\u00e1lez D (2006) An xml specification for automatic parallel dynamic programming. In: International conference on computational science (1), pp 872\u2013875"},{"key":"797_CR21","unstructured":"TtM a TeX to MathML translator. http:\/\/hutchinson.belmont.ma.us\/tth\/mml\/"},{"key":"797_CR22","unstructured":"W3C. W3c math home. http:\/\/www.w3.org\/Math\/"},{"key":"797_CR23","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-540-87475-1_14","volume-title":"Recent advances in parallel virtual machine and message passing interface, EuroPVM\/MPI 2009","author":"I Galindo","year":"2008","unstructured":"Galindo I, Almeida F, Blanco V, Bad\u00eda JM (2008) Dynamic load balancing on dedicated heterogeneous systems. In: Lastovetsky A, Kechadi T, Dongarra J (eds) Recent advances in parallel virtual machine and message passing interface, EuroPVM\/MPI 2009, pp 64\u201374"},{"issue":"4","key":"797_CR24","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1504\/IJWGS.2008.022542","volume":"4","author":"A Santos","year":"2008","unstructured":"Santos A, Almeida F, Blanco V, D\u00edez D, Regueira J, Sicilia E (2008) Towards automatic service generation and scheduling in the OpenCF project. Int J Web Grid Serv 4(4):367\u2013378","journal-title":"Int J Web Grid Serv"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-012-0797-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-012-0797-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-012-0797-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:07Z","timestamp":1559370247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-012-0797-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,26]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["797"],"URL":"https:\/\/doi.org\/10.1007\/s11227-012-0797-3","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,26]]}}}