{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:21:42Z","timestamp":1725758502860},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452833"},{"type":"electronic","value":"9783642452840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45284-0_17","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T00:54:34Z","timestamp":1385340874000},"page":"244-260","source":"Crossref","is-referenced-by-count":4,"title":["Parallel Performance of Declarative Programming Using a PGAS Model"],"prefix":"10.1007","author":[{"given":"Rui","family":"Machado","sequence":"first","affiliation":[]},{"given":"Salvador","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Diaz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Caniou, Y., Codognet, P.: Communication in parallel algorithms for constraint-based local search. In: IPDPS Workshops, pp. 1961\u20131970 (2011)","DOI":"10.1109\/IPDPS.2011.357"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-642-20364-0_9","volume-title":"EvoCOP","author":"Y. Caniou","year":"2011","unstructured":"Caniou, Y., Codognet, P., Diaz, D., Abreu, S.: Experiments in parallel constraint-based local search. In: Merz, P., Hao, J.-K. (eds.) EvoCOP 2011. LNCS, vol.\u00a06622, pp. 96\u2013107. Springer, Heidelberg (2011)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/2145816.2145883","volume-title":"Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2012","author":"Y. Caniou","year":"2012","unstructured":"Caniou, Y., Diaz, D., Richoux, F., Codognet, P., Abreu, S.: Performance analysis of parallel constraint-based local search. In: Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2012, New Orleans, Louisiana, USA, pp. 337\u2013338. ACM, New York (2012), \n                  \n                    http:\/\/doi.acm.org\/10.1145\/2145816.2145883\n                  \n                  \n                , doi:10.1145\/2145816.2145883"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Codognet, P., Diaz, D.: Yet another local search method for constraint solving. Stochastic Algorithms: Foundations and Applications, 342\u2013344 (2001)","DOI":"10.1007\/3-540-45322-9_5"},{"issue":"8","key":"17_CR5","doi-asserted-by":"publisher","first-page":"996","DOI":"10.1109\/PROC.1984.12967","volume":"72","author":"J. Costas","year":"1984","unstructured":"Costas, J.: A study of detection waveforms having nearly ideal range-doppler ambiguity properties. Proceedings of the IEEE\u00a072(8), 996\u20131009 (1984)","journal-title":"Proceedings of the IEEE"},{"issue":"6","key":"17_CR6","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1002\/cpe.1855","volume":"24","author":"D. Diaz","year":"2012","unstructured":"Diaz, D., Abreu, S., Codognet, P.: Targeting the cell broadband engine for constraint-based local search. Concurrency and Computation: Practice and Experience\u00a024(6), 647\u2013660 (2012)","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"5","key":"17_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"Dijkstra, E.W., Feijen, W.H.J., van Gasteren, A.J.M.: Derivation of a termination detection algorithm for distributed computations. Inf. Process. Lett.\u00a016(5), 217\u2013219 (1983)","journal-title":"Inf. Process. Lett."},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-540-48085-3_36","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"I.P. Gent","year":"1999","unstructured":"Gent, I.P., Walsh, T.: Csplib: A benchmark library for constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 480\u2013481. Springer, Heidelberg (1999), \n                  \n                    http:\/\/www.csplib.org"},{"issue":"3","key":"17_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s00450-009-0088-2","volume":"23","author":"R. Machado","year":"2009","unstructured":"Machado, R., Lojewski, C.: The fraunhofer virtual machine: a communication library and runtime system based on the RDMA model. Computer Science-Research and Development\u00a023(3), 125\u2013132 (2009)","journal-title":"Computer Science-Research and Development"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01782776","volume":"2","author":"F. Mattern","year":"1987","unstructured":"Mattern, F.: Algorithms for distributed termination detection. Distributed Computing\u00a02, 161\u2013175 (1987), doi:10.1007\/BF01782776","journal-title":"Distributed Computing"},{"key":"17_CR11","unstructured":"MPI Forum. MPI: A Message-Passing Interface Standard. Version 2.2 (September 4, 2009) (December 2009), \n                  \n                    http:\/\/www.mpi-forum.org"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-60321-2_26","volume-title":"Parallel Algorithms for Irregularly Structured Problems","author":"P.M. Pardalos","year":"1995","unstructured":"Pardalos, P.M., Pitsoulis, L., Mavridou, T., Resende, M.G.C.: Parallel search for combinatorial optimization: Genetic algorithms, simulated annealing, tabu search and grasp. In: Ferreira, A., Rolim, J. (eds.) IRREGULAR 1995. LNCS, vol.\u00a0980, pp. 317\u2013331. Springer, Heidelberg (1995)"},{"key":"17_CR13","unstructured":"Pedro, V., Machado, R., Abreu, S.: A Parallel and Distributed Framework for Constraint Solving. In: Proceedings of the 1st Workshop on Parallel Methods for Constraint Solving, PCMS 2011 (2011)"},{"key":"17_CR14","unstructured":"Rossi, F., Van Beek, P., Walsh, T.: Handbook of constraint programming, vol.\u00a02. Elsevier Science (2006)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Kambadur, P., Kodali, S.B., Grove, D., Krishnamoorthy, S.: Lifeline-based global load balancing. In: PPOPP, pp. 201\u2013212 (2011)","DOI":"10.1145\/2038037.1941582"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45284-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T18:23:51Z","timestamp":1558722231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45284-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452833","9783642452840"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45284-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}