{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:36:15Z","timestamp":1743143775514,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642551949"},{"type":"electronic","value":"9783642551956"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-55195-6_9","type":"book-chapter","created":{"date-parts":[[2014,5,7]],"date-time":"2014-05-07T14:55:32Z","timestamp":1399474532000},"page":"95-104","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Prototyping Framework for Parallel Numerical Computations"],"prefix":"10.1007","author":[{"given":"Ond\u0159ej","family":"Meca","sequence":"first","affiliation":[]},{"given":"Stanislav","family":"B\u00f6hm","sequence":"additional","affiliation":[]},{"given":"Marek","family":"B\u011bh\u00e1lek","sequence":"additional","affiliation":[]},{"given":"Martin","family":"\u0160urkovsk\u00fd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,8]]},"reference":[{"issue":"1","key":"9_CR1","first-page":"28","volume":"10","author":"S B\u00f6hm","year":"2012","unstructured":"B\u00f6hm, S., B\u011bh\u00e1lek, M.: Generating parallel applications from models based on petri nets. Adv. Electr. Electron. Eng. 10(1), 28\u201334 (2012)","journal-title":"Adv. Electr. Electron. Eng."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6hm, S., B\u011bh\u00e1lek, M.: Usage of Petri nets for high performance computing. In: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC \u201912, pp. 37\u201348. ACM, New York (2012) http:\/\/doi.acm.org\/10.1145\/2364474.2364481","DOI":"10.1145\/2364474.2364481"},{"key":"9_CR3","unstructured":"Browne, J.C., Dongarra, J., Hyder, S.I., Moore, K., Newton, P.: Visual programming and parallel computing. Technical report, Knoxville, TN, USA (1994)"},{"issue":"12","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1002\/cnm.881","volume":"22","author":"Z Dost\u00e1l","year":"2006","unstructured":"Dost\u00e1l, Z., Hor\u00e1k, D., Ku\u010dera, R.: Total FETI-an easier implementable variant of the FETI method for numerical solution of elliptic PDE. Commun. Numer. Meth. Eng. 22(12), 1155\u20131162 (2006). http:\/\/dx.doi.org\/10.1002\/cnm.881","journal-title":"Commun. Numer. Meth. Eng."},{"key":"9_CR5","unstructured":"El-Ghazawi, T., Smith, L.: UPC: unified parallel C. In: Proceedings of the 2006 ACM\/IEEE Conference on Supercomputing, SC \u201906. ACM, New York. http:\/\/doi.acm.org\/10.1145\/1188455.1188483 (2006)"},{"issue":"11","key":"9_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/1168918.1168877","volume":"41","author":"MI Gordon","year":"2006","unstructured":"Gordon, M.I., Thies, W., Amarasinghe, S.: Exploiting coarse-grained task, data, and pipeline parallelism in stream programs. SIGPLAN Not. 41(11), 151\u2013162 (2006)","journal-title":"SIGPLAN Not."},{"key":"9_CR7","unstructured":"Hor\u00e1k, D., Dost\u00e1l, Z.: Parallelization of the total-FETI-1 algorithm for contact problems using PETSc. In: Proceedings of the Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Civil-Comp Press, Stirlingshire (2011)"},{"key":"9_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets - Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Kacsuk, P., Cunha, J., D\u00f3zsa, G., Lourenco, J., Fadgyas, T., Antao, T.: A graphical development and debugging environment for parallel programs. Parallel Comput. 22(13), 1699\u20131701 (1997). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167819196000750 (distributed and parellel systems: Environments and tools)","DOI":"10.1016\/S0167-8191(96)00075-0"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/s11227-010-0405-3","volume":"51","author":"C Leiserson","year":"2010","unstructured":"Leiserson, C.: The Cilk++ concurrency platform. J. Supercomput. 51(3), 244\u2013257 (2010). http:\/\/dx.doi.org\/10.1007\/s11227-010-0405-3","journal-title":"J. Supercomput."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Newton, P., Browne, J.C.: The code 2.0 graphical parallel programming language. In: Proceedings of the 6th International Conference on Supercomputing, ICS \u201992, pp. 167\u2013177. ACM, New York. http:\/\/doi.acm.org\/10.1145\/143369.143405 (1992)","DOI":"10.1145\/143369.143405"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Thies, W., Amarasinghe, S.: An empirical characterization of stream programs and its implications for language and compiler design. In: Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, PACT \u201910, pp. 365\u2013376. ACM, New York (2010)","DOI":"10.1145\/1854273.1854319"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-55195-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T23:51:13Z","timestamp":1674258673000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-55195-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642551949","9783642551956"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-55195-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}