{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:29:51Z","timestamp":1725550191427},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290094"},{"type":"electronic","value":"9783540319436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557265_24","type":"book-chapter","created":{"date-parts":[[2005,10,1]],"date-time":"2005-10-01T01:23:14Z","timestamp":1128129794000},"page":"167-174","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Interoperable Message Passing"],"prefix":"10.1007","author":[{"given":"Michal","family":"Kouril","sequence":"first","affiliation":[]},{"given":"Jerome L.","family":"Paul","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Aumage, O., Mercier, G., Namyst, R.: MPICH\/Madeleine: a True Multi-Protocol MPI for High Performance Networks. In: IPDPS (2001)"},{"key":"24_CR2","unstructured":"Dongarra, J., Fagg, G.E., Geist, G.A., Kohl, J.A., Papadopoulos, P.M., Scott, S.L., Sunderam, V., Magliardi, M.: HARNESS: Heterogeneous Adaptable Reconfigurable NEtworked SystemS. In: HPDC (1998)"},{"key":"24_CR3","unstructured":"Moskewicz, M.W., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Engineering an Efficient SAT Solver. In: Proceedings of the 38th ACM\/IEEE Design Automation Conference (2001)"},{"key":"24_CR4","volume-title":"Proc. of the 5th European PVM\/MPI Users\u2019 Group","author":"G.E. Fagg","year":"1998","unstructured":"Fagg, G.E., London, K.S., Dongarra, J.: MPI_Connect Managing Heterogeneous MPI Applications Interoperation and Process Control. In: Proc. of the 5th European PVM\/MPI Users\u2019 Group. Springer, Heidelberg (1998)"},{"key":"24_CR5","volume-title":"Proceedings of 10th European PVM\/MPI Users\u2019 Group Meeting","author":"J.M. Squyres","year":"2003","unstructured":"Squyres, J.M., Lumsdaine, A.: A Component Architecture for LAM\/MPI. In: Proceedings of 10th European PVM\/MPI Users\u2019 Group Meeting. Springer, Heidelberg (2003)"},{"key":"24_CR6","volume-title":"Proc. of the 5th European PVM\/MPI Users\u2019 Group Meeting","author":"E. Gabriel","year":"1998","unstructured":"Gabriel, E., Resch, M., Beisel, T., Keller, R.: Distributed Computing in a Heterogeneous Computing Environment. In: Proc. of the 5th European PVM\/MPI Users\u2019 Group Meeting. Springer, Heidelberg (1998)"},{"key":"24_CR7","unstructured":"Message Passing Interface Forum. MPI-2: A Message-Passing Interface Standard. The International Journal of Supercomputer Applications and High Performance Computing\u00a012(1-2) (1998)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Gropp, W., Lusk, E., Doss, N., Skjellum, A.: A High-Performance, Portable Imple-mentation of the MPI Message-Passing Interface Standard. In: Parallel Computing (1996)","DOI":"10.1016\/0167-8191(96)00024-5"},{"key":"24_CR9","volume-title":"Conf. Computing Frontiers","author":"M. Kouril","year":"2004","unstructured":"Kouril, M., Paul, J.L.: A Parallel Backtracking Framework (BkFr) for Single and Multiple Clusters. In: Conf. Computing Frontiers. ACM Press, New York (2004)"},{"key":"24_CR10","unstructured":"IMPI Steering Committee: IMPI - Interoperable Message-Passing Interface (1998), http:\/\/impi.nist.gov\/IMPI\/"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Karonis, N., Toonen, B., Foster, I.: MPICH-G2: A Grid-Enabled Implementation of the Message Passing Interface. In: Journal of Parallel and Distributed Computing (2003)","DOI":"10.1016\/S0743-7315(03)00002-9"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Kielmann, T., Hofman, R.F.H., Bal, H.E., Plaat, A., Bhoedjang, R.A.F.: MagPIe: MPI\u2019s Collective Communication Operations for Clustered Wide Area Systems. In: ACM SIG-PLAN Notices (1999)","DOI":"10.1145\/301104.301116"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Kouril, M., Paul, J.L.: Dynamic Interoperable Point-to-Point Connection of MPI Implementations. Brief Announcement. In: Twenty-Fourth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (2005)","DOI":"10.1145\/1073814.1073881"},{"key":"24_CR14","unstructured":"Message Passing Interface Forum: MPI: A Message-Passing Interface Standard. International Journal of Supercomputer. Applications Special issue on MPI 8(3\/4) (1994)"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-540-24605-3_30","volume-title":"Theory and Applications of Satisfiability Testing","author":"J. Franco","year":"2004","unstructured":"Franco, J., Kouril, M., Schlipf, J.S., Ward, J., Weaver, S., Dransfield, M., Vanfleet, W.M.: SBSAT: a state-based, BDD-based Satisfiability solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 398\u2013410. Springer, Heidelberg (2004)"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Kouril, M., Franco, J.: Resolution Tunnels for Improved SAT Solver Performance. In: Eighth International Conference on Theory and Applications of Satisfiability Testing (2005)","DOI":"10.1007\/11499107_11"},{"key":"24_CR17","unstructured":"Franco, J., Kouril, M., Schlipf, J.S., Weaver, S., Dransfield, M., Vanfleet, W.M.: Function-complete lookahead in support of efficient SAT search heuristics. Journal of Universal Computer Science. Know Center and IICM, Graz University, Austria (2004)"},{"key":"24_CR18","volume-title":"HPCN 1997","author":"M. Brune","year":"1997","unstructured":"Brune, M., Gehring, J., Reinefeld, A.: A Lightweight Communication Interface for Parallel Programming Environments. In: HPCN 1997. Springer, Heidelberg (1997)"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Imamura, T., Tsujita, Y., Koide, H., Takemiya, H.: An Architecture of Stampi: MPI Library on a Cluster of Parallel Computers. In: Proc. of the 7th European PVM\/MPI Users\u2019 Group Meeting (2000)","DOI":"10.1007\/3-540-45255-9_29"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Rabenseifner, R.: MPI-GLUE: Interoperable High-Performance MPI Combining Different Vendor\u2019s MPI Worlds. In: Euro-Par (1998)","DOI":"10.1007\/BFb0057902"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557265_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T20:30:56Z","timestamp":1586464256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557265_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290094","9783540319436"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11557265_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}