{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:17:36Z","timestamp":1732033056136},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642036439"},{"type":"electronic","value":"9783642036446"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03644-6_34","type":"book-chapter","created":{"date-parts":[[2009,8,21]],"date-time":"2009-08-21T05:16:51Z","timestamp":1250831811000},"page":"436-451","source":"Crossref","is-referenced-by-count":10,"title":["OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays"],"prefix":"10.1007","author":[{"given":"Noman","family":"Javed","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Loulergue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"OpenMP Application Program Interface version 3.0 (May 2008)"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1016\/S0167-739X(02)00172-3","volume":"19","author":"M. Aldinucci","year":"2002","unstructured":"Aldinucci, M., Danelutto, M., Teti, P.: An Advanced Environment Supporting Structured Parallel Programming in Java. Future Generation Computer Systems\u00a019, 611\u2013626 (2002)","journal-title":"Future Generation Computer Systems"},{"key":"34_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2714-2","volume-title":"Verification of sequential and concurrent programs","author":"K.R. Apt","year":"1997","unstructured":"Apt, K.R., Olderog, E.-R.: Verification of sequential and concurrent programs, 2nd edn. Springer, Heidelberg (1997)","edition":"2"},{"issue":"3","key":"34_CR4","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1142\/S0129626403001306","volume":"13","author":"M. Bamha","year":"2003","unstructured":"Bamha, M., Exbrayat, M.: Pipelining a Skew-Insensitive Parallel Join Algorithm. Parallel Processing Letters\u00a013(3), 317\u2013328 (2003)","journal-title":"Parallel Processing Letters"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1007\/11549468_83","volume-title":"Euro-Par 2005 Parallel Processing","author":"A. Benoit","year":"2005","unstructured":"Benoit, A., Murray, C., Gilmore, S., Hillston, J.: Flexible Skeletal Programming with eSkel. In: Cunha, J.C., Medeiros, P.D. (eds.) Euro-Par 2005. LNCS, vol.\u00a03648, pp. 761\u2013770. Springer, Heidelberg (2005)"},{"issue":"3","key":"34_CR6","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1142\/S0129626403001422","volume":"13","author":"H. Bischof","year":"2003","unstructured":"Bischof, H., Gorlatch, S., Leschinskiy, R.: DatTeL: A Data-Parallel C++ Template Library. Parallel Processing Letters\u00a013(3), 461\u2013472 (2003)","journal-title":"Parallel Processing Letters"},{"key":"34_CR7","doi-asserted-by":"crossref","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)"},{"issue":"2","key":"34_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0167-8191(02)00218-1","volume":"29","author":"O. Bonorden","year":"2003","unstructured":"Bonorden, O., Juurlink, B., von Otte, I., Rieping, I.: The Paderborn University BSP (PUB) Library. Parallel Computing\u00a029(2), 187\u2013207 (2003)","journal-title":"Parallel Computing"},{"key":"34_CR9","unstructured":"Braud, A., Vrain, C.: A parallel genetic algorithm based on the BSP model. In: Evolutionary Computation and Parallel Processing GECCO & AAAI Workshop, Orlando (Florida), USA (1999)"},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-74466-5_9","volume-title":"Euro-Par 2007 Parallel Processing","author":"D. Caromel","year":"2007","unstructured":"Caromel, D., Leyton, M.: Fine tuning algorithmic skeletons. In: Kermarrec, A.-M., Boug\u00e9, L., Priol, T. (eds.) Euro-Par 2007. LNCS, vol.\u00a04641, pp. 72\u201381. Springer, Heidelberg (2007)"},{"key":"34_CR11","volume-title":"Using OpenMP","author":"B. Chapman","year":"2008","unstructured":"Chapman, B., Jost, G., van Der Pas, R.: Using OpenMP. MIT Press, Cambridge (2008); about OpenMP 2.5"},{"key":"34_CR12","unstructured":"Ciechanowicz, P., Poldner, M., Kuchen, H.: The M\u00fcnster Skeleton Library Muesli \u2013 A Comprenhensive Overview. Technical Report Working Paper No. 7, European Research Center for Information Systems, University of M\u00fcnster, Germany (2009)"},{"key":"34_CR13","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)"},{"issue":"3","key":"34_CR14","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.parco.2003.12.002","volume":"30","author":"M. Cole","year":"2004","unstructured":"Cole, M.: Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming. Parallel Computing\u00a030(3), 389\u2013406 (2004)","journal-title":"Parallel Computing"},{"issue":"3","key":"34_CR15","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1155\/1997\/532130","volume":"6","author":"D.B. Skillicorn","year":"1997","unstructured":"Skillicorn, D.B., Hill, J.M.D., McColl, W.F.: Questions and Answers about BSP. Scientific Programming\u00a06(3), 249\u2013274 (1997)","journal-title":"Scientific Programming"},{"key":"34_CR16","unstructured":"Dabrowski, F., Loulergue, F.: Functional Bulk Synchronous Programming in C++. In: 21st IASTED International Multi-conference, Applied Informatics (AI 2003), Symposium on Parallel and Distributed Computing and Networks, February 2003, pp. 462\u2013467. ACTA Press (2003)"},{"key":"34_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1007\/11758525_124","volume-title":"Computational Science \u2013 ICCS 2006","author":"M. Danelutto","year":"2006","unstructured":"Danelutto, M., Dazzi, P.: Joint Structured\/Unstructured Parallelism Exploitation in Muskel. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2006. LNCS, vol.\u00a03992, pp. 937\u2013944. Springer, Heidelberg (2006)"},{"key":"34_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-56891-3_12","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"J. Darlington","year":"1993","unstructured":"Darlington, J., Field, A.J., Harrison, P.G., Kelly, P., Sharp, D., Wu, Q., While, R.: Parallel Programming Using Skeleton Functions. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694, pp. 146\u2013160. Springer, Heidelberg (1993)"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Dehne, F., Fabri, A., Rau-Chaplin, A.: Scalable parallel ceometric algorithms for coarse grained multicomputer. In: 9th Symposium on Computational Geometry, pp. 298\u2013307 (1993)","DOI":"10.1145\/160985.161154"},{"key":"34_CR20","volume-title":"First Annual Conference on Genetic Programming","author":"D.C. Dracopoulos","year":"1996","unstructured":"Dracopoulos, D.C., Kent, S.: Speeding up genetic programming: A parallel BSP implementation. In: First Annual Conference on Genetic Programming. MIT Press, Cambridge (1996)"},{"key":"34_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/978-3-540-74466-5_74","volume-title":"Euro-Par 2007 Parallel Processing","author":"K. Emoto","year":"2007","unstructured":"Emoto, K., Matsuzaki, K., Hu, Z., Takeichi, M.: Domain-Specific Optimization Strategy for Skeleton Programs. In: Kermarrec, A.-M., Boug\u00e9, L., Priol, T. (eds.) Euro-Par 2007. LNCS, vol.\u00a04641, pp. 705\u2013714. Springer, Heidelberg (2007)"},{"key":"34_CR22","series-title":"Advances in Parallel Computing","first-page":"243","volume-title":"Parallel Computing: Architectures, Algorithms and Applications, ParCo 2007","author":"J. Falcou","year":"2007","unstructured":"Falcou, J., S\u00e9rot, J.: Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library. In: Bischof, C.H., B\u00fccker, H.M., Gibbon, P., Joubert, G.R., Lippert, T., Mohr, B., Peters, F.J. (eds.) Parallel Computing: Architectures, Algorithms and Applications, ParCo 2007. Advances in Parallel Computing, vol.\u00a015, pp. 243\u2013252. IOS Press, Amsterdam (2007)"},{"key":"34_CR23","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1016\/j.parco.2006.06.001","volume":"32","author":"J. Falcou","year":"2006","unstructured":"Falcou, J., S\u00e9rot, J., Chateau, T., Laprest\u00e9, J.-T.: Quaff: Efficient C++ Design for Parallel Skeletons. Parallel Computing\u00a032, 604\u2013615 (2006)","journal-title":"Parallel Computing"},{"issue":"3","key":"34_CR24","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1142\/S0129626403001343","volume":"13","author":"F. Gava","year":"2003","unstructured":"Gava, F.: Formal Proofs of Functional BSP Programs. Parallel Processing Letters\u00a013(3), 365\u2013376 (2003)","journal-title":"Parallel Processing Letters"},{"key":"34_CR25","doi-asserted-by":"crossref","unstructured":"Ghuloum, A., Smith, T., Gansha, W., Zhou, X., Fang, J., Guo, P., So, B., Rajagopalan, M., Chen, Y., Chen, B.: Future-Proof Data Parallel Algorithms and Software on Intel Multi-Core Architecture. Intel Technology Journal\u00a011(4) (2007)","DOI":"10.1535\/itj.1104.07"},{"key":"34_CR26","unstructured":"Granvilliers, L., Hains, G., Miller, Q., Romero, N.: A system for the high-level parallelization and cooperation of constraint solvers. In: Pan, Y., Akl, S.G., Li, K. (eds.) Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Las Vegas, USA, pp. 596\u2013601. IASTED\/ACTA Press (1998)"},{"issue":"17","key":"34_CR27","doi-asserted-by":"publisher","first-page":"1126","DOI":"10.1006\/jpdc.2001.1735","volume":"61","author":"Y. Gu","year":"2001","unstructured":"Gu, Y., Lee, B.-S., Cai, W.: JBSP: A BSP Programming Library in Java. Journal of Parallel and Distributed Computing\u00a061(17), 1126\u20131142 (2001)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"34_CR28","doi-asserted-by":"publisher","first-page":"1947","DOI":"10.1016\/S0167-8191(98)00093-3","volume":"24","author":"J.M.D. Hill","year":"1998","unstructured":"Hill, J.M.D., McColl, B., Stefanescu, D., Goudreau, M., et al.: BSPlib: The BSP Programming Library. Parallel Computing\u00a024, 1947\u20131980 (1998)","journal-title":"Parallel Computing"},{"key":"34_CR29","volume-title":"6th EuroMicro Workshop on Parallel and Distributed Processing (PDP 1998)","author":"J.M.D. Hill","year":"1998","unstructured":"Hill, J.M.D., Skillicorn, D.B.: Practical Barrier Synchronisation. In: 6th EuroMicro Workshop on Parallel and Distributed Processing (PDP 1998). IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"1","key":"34_CR30","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.future.2003.09.003","volume":"22","author":"K. Hinsen","year":"2006","unstructured":"Hinsen, K., Langtangen, H.P., Skavhaug, O., Odeg\u00e5rd, \u00c5.: Using BSP and Python to simplify parallel programming. Future Generation Computur Systems\u00a022(1), 123\u2013157 (2006)","journal-title":"Future Generation Computur Systems"},{"key":"34_CR31","series-title":"Lecture Notes in Computer Science","first-page":"1123","volume-title":"Euro-Par\u201996 - Parallel Processing","author":"H. Jifeng","year":"1996","unstructured":"Jifeng, H., Miller, Q., Chen, L.: Algebraic laws for BSP programming. In: Fraigniaud, P., Mignotte, A., Robert, Y., Boug\u00e9, L. (eds.) Euro-Par 1996. LNCS, vol.\u00a01124, pp. 1123\u20131124. Springer, Heidelberg (1996)"},{"key":"34_CR32","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/cpe.768","volume":"16","author":"C.W. Kessler","year":"2004","unstructured":"Kessler, C.W.: Managing Distributed Shared Arrays in a Bulk-Synchronous Parallel Environment. Concurrency and Computation: Practice and Experience\u00a016, 133\u2013153 (2004)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"34_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/3-540-45706-2_86","volume-title":"Euro-Par 2002. Parallel Processing","author":"H. Kuchen","year":"2002","unstructured":"Kuchen, H.: A Skeleton Library. In: Monien, B., Feldmann, R.L. (eds.) Euro-Par 2002. LNCS, vol.\u00a02400, pp. 620\u2013629. Springer, Heidelberg (2002)"},{"issue":"2","key":"34_CR34","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1142\/S0129626402000896","volume":"12","author":"H. Kuchen","year":"2002","unstructured":"Kuchen, H., Cole, M.: The Integration of Task and Data Parallel Skeletons. Parallel Processing Letters\u00a012(2), 141\u2013155 (2002)","journal-title":"Parallel Processing Letters"},{"issue":"1","key":"34_CR35","first-page":"204","volume":"18","author":"H. Kuchen","year":"2008","unstructured":"Kuchen, H., Poldner, M.: On Implementing the Farm Skeleton. Parallel Processing Letters\u00a018(1), 204\u2013219 (2008)","journal-title":"Parallel Processing Letters"},{"key":"34_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1007\/11428848_132","volume-title":"Computational Science \u2013 ICCS 2005","author":"F. Loulergue","year":"2005","unstructured":"Loulergue, F., Gava, F., Billiet, D.: Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005. LNCS, vol.\u00a03515, pp. 1046\u20131054. Springer, Heidelberg (2005)"},{"key":"34_CR37","volume-title":"InfoScale 2006: Proceedings of the 1st international conference on Scalable information systems","author":"K. Matsuzaki","year":"2006","unstructured":"Matsuzaki, K., Iwasaki, H., Emoto, K., Hu, Z.: A Library of Constructive Skeletons for Sequential Style of Parallel Programming. In: InfoScale 2006: Proceedings of the 1st international conference on Scalable information systems. ACM Press, New York (2006)"},{"key":"34_CR38","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0167-739X(96)00030-1","volume":"12","author":"W.F. McColl","year":"1996","unstructured":"McColl, W.F.: Scalability, portability and predictability: The BSP approach to parallel programming. Future Generation Computer Systems\u00a012, 265\u2013272 (1996)","journal-title":"Future Generation Computer Systems"},{"issue":"3-4","key":"34_CR39","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.cl.2006.11.001","volume":"33","author":"A. Merlin","year":"2007","unstructured":"Merlin, A., Hains, G.: A bulk synchronous process algebra. Computer Languages, Systems and Structures\u00a033(3-4), 111\u2013133 (2007)","journal-title":"Computer Languages, Systems and Structures"},{"key":"34_CR40","unstructured":"Nichols, B., Buttlar, D., Proulx Farrell, J.: Pthreads Programming: A POSIX Standard for Better Multiprocessing. O\u2019Reilly, Sebastopol (1996)"},{"key":"34_CR41","volume-title":"Structured Development of Parallel Programs","author":"S. Pelagatti","year":"1998","unstructured":"Pelagatti, S.: Structured Development of Parallel Programs. Taylor & Francis, Abington (1998)"},{"key":"34_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-540-75416-9_46","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"S. Pervez","year":"2007","unstructured":"Pervez, S., Gopalakrishnan, G., Kirby, R.M., Palmer, R., Thakur, R., Gropp, W.: Practical Model-Checking Method for Verifying Correctness of MPI Programs. In: Cappello, F., Herault, T., Dongarra, J. (eds.) PVM\/MPI 2007. LNCS, vol.\u00a04757, pp. 344\u2013353. Springer, Heidelberg (2007)"},{"key":"34_CR43","volume-title":"Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism","author":"J. Reinders","year":"2007","unstructured":"Reinders, J.: Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O\u2019Reilly, Sebastopol (2007)"},{"issue":"5-6","key":"34_CR44","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0167-739X(98)00043-0","volume":"14","author":"R.O. Rogers","year":"1998","unstructured":"Rogers, R.O., Skillicorn, D.B.: Using the BSP cost model to optimise parallel neural network training. Future Generation Computer Systems\u00a014(5-6), 409\u2013424 (1998)","journal-title":"Future Generation Computer Systems"},{"key":"34_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-69738-1_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S.F. Siegel","year":"2007","unstructured":"Siegel, S.F.: Model Checking Nonblocking MPI Programs. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol.\u00a04349, pp. 44\u201358. Springer, Heidelberg (2007)"},{"key":"34_CR46","volume-title":"MPI the Complete Reference","author":"M. Snir","year":"1998","unstructured":"Snir, M., Gropp, W.: MPI the Complete Reference. MIT Press, Cambridge (1998)"},{"key":"34_CR47","unstructured":"Suijlen, W.J.: BSPonMPI, http:\/\/bsponmpi.sourceforge.net"},{"issue":"8","key":"34_CR48","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"L.G. Valiant","year":"1990","unstructured":"Valiant, L.G.: A bridging model for parallel computation. Comm. of the ACM\u00a033(8), 103 (1990)","journal-title":"Comm. of the ACM"},{"key":"34_CR49","unstructured":"Veldhuizen, T.: Techniques for Scientific C++. Computer science technical report 542, Indiana University (2000)"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03644-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T23:36:43Z","timestamp":1558481803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03644-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642036439","9783642036446"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03644-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}