{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:09:03Z","timestamp":1759226943946},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030256357"},{"type":"electronic","value":"9783030256364"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25636-4_4","type":"book-chapter","created":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T20:04:09Z","timestamp":1564603449000},"page":"32-50","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Mathematical Abstraction in a Simple Programming Tool for Parallel Embedded Systems"],"prefix":"10.1007","author":[{"given":"Fritz","family":"Mayer-Lindenberg","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,17]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-30577-4_46","volume-title":"SOFSEM 2005: Theory and Practice of Computer Science","author":"F Mayer-Lindenberg","year":"2005","unstructured":"Mayer-Lindenberg, F.: A management scheme for the basic types in high level languages. In: Vojt\u00e1\u0161, P., Bielikov\u00e1, M., Charron-Bost, B., S\u00fdkora, O. (eds.) SOFSEM 2005. LNCS, vol. 3381, pp. 390\u2013393. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-30577-4_46"},{"key":"4_CR2","unstructured":"Mayer-Lindenberg, F.: A modular processor architecture for high-performance computing applications on FPGA. In: Conference on Computer Design, CDES 2012, Las Vegas, USA (2012). \n                      https:\/\/134.28.202.18\/t3resources\/ict\/dateien\/Mitarbeiter\/f-mayer-lindenberg\/Las_Vegas.pdf"},{"key":"4_CR3","volume-title":"Dedicated Digital Processors: Methods in Hardware\/Software System Design","author":"F Mayer-Lindenberg","year":"2004","unstructured":"Mayer-Lindenberg, F.: Dedicated Digital Processors: Methods in Hardware\/Software System Design. Wiley, London (2004)"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Mayer-Lindenberg, F.: High-level FPGA programming through mapping process networks to FPGA resources. In: 2009 International Conference on Reconfigurable Computing and FPG as ReConFig 2009, Cancun, Quintana Roo, Mexico, pp. 302\u2013307 (2009). \n                      https:\/\/doi.org\/10.1109\/reconfig.2009.73","DOI":"10.1109\/reconfig.2009.73"},{"issue":"5","key":"4_CR5","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/0165-6074(87)90248-1","volume":"19","author":"F Mayer-Lindenberg","year":"1987","unstructured":"Mayer-Lindenberg, F.: Fifth on the transputer. Microprocessing Microprogramming 19(5), 367\u2013373 (1987). \n                      https:\/\/doi.org\/10.1016\/0165-6074(87)90248-1","journal-title":"Microprocessing Microprogramming"},{"key":"4_CR6","unstructured":"Desbrun, M., Hirani, A.N., Leok, M., Marsden, J.E.: Discrete exterior calculus. \n                      https:\/\/arxiv.org\/abs\/math\/0508341v2"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1017\/S096249290100006X","volume":"10","author":"JE Marsden","year":"2001","unstructured":"Marsden, J.E., West, M.: Discrete mechanics and variational integrators. Acta Numerica 10(1), 357\u2013514 (2001). \n                      https:\/\/doi.org\/10.1017\/S096249290100006X","journal-title":"Acta Numerica"},{"key":"4_CR8","series-title":"Lecture Notes in Computational Science and Engineering","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28438-9","volume-title":"Automatic Differentiation: Applications, Theory, and Implementations","author":"HM B\u00fccker","year":"2006","unstructured":"B\u00fccker, H.M., Corliss, G., Hovland, P., Naumann, U., Norris, B.: Automatic Differentiation: Applications, Theory, and Implementations. Lecture Notes in Computational Science and Engineering. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/3-540-28438-9"},{"key":"4_CR9","series-title":"The Benjamin\/Cummings Series in Computer Science","volume-title":"Concepts of Programming Languages","author":"RW Sebesta","year":"1989","unstructured":"Sebesta, R.W.: Concepts of Programming Languages. The Benjamin\/Cummings Series in Computer Science. Benjamin\/Cummings, Redwood City (1989)"},{"key":"4_CR10","volume-title":"Parallel Processing: Principles and Practice","author":"EV Krishnamurthy","year":"1989","unstructured":"Krishnamurthy, E.V.: Parallel Processing: Principles and Practice. Addison-Wesley, Sydney (1989)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2016\/2478907","volume":"2016","author":"M Eckert","year":"2016","unstructured":"Eckert, M., Meyer, D., Haase, J., Klauer, B.: Operating system concepts for reconfigurable computing: review and survey. Int. J. Reconfigurable Comput. 2016, 1\u201311 (2016). \n                      https:\/\/doi.org\/10.1155\/2016\/2478907\n                      \n                    . Article No. 2478907","journal-title":"Int. J. Reconfigurable Comput."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1007\/978-3-642-32589-2_51","volume-title":"Mathematical Foundations of Computer Science 2012","author":"A Kawamura","year":"2012","unstructured":"Kawamura, A., Ota, H., R\u00f6snick, C., Ziegler, M.: Computational complexity of smooth differential equations. In: Rovan, B., Sassone, V., Widmayer, P. (eds.) MFCS 2012. LNCS, vol. 7464, pp. 578\u2013589. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-32589-2_51"},{"key":"4_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and Real Computation","author":"L Blum","year":"1998","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, New York (1998). \n                      https:\/\/doi.org\/10.1007\/978-1-4612-0701-6"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1499096.1499097","volume":"36","author":"AD Padula","year":"2009","unstructured":"Padula, A.D., Scott, S.D., Symes, W.W.: A software framework for abstract expression of coordinate-free linear algebra and optimization algorithms. ACM Trans. Math. Softw. 36(2), 1\u201336 (2009). \n                      https:\/\/doi.org\/10.1145\/1499096.1499097\n                      \n                    . Article No. 8","journal-title":"ACM Trans. Math. Softw."},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"DE Knuth","year":"1984","unstructured":"Knuth, D.E.: Literate Programming. Comput. J. 27(2), 97\u2013111 (1984). \n                      https:\/\/doi.org\/10.1093\/comjnl\/27.2.97","journal-title":"Comput. J."},{"key":"4_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-211-75540-2","volume-title":"Algorithmic Composition. Paradigms of Automated Music Generation","author":"G Nierhaus","year":"2009","unstructured":"Nierhaus, G.: Algorithmic Composition. Paradigms of Automated Music Generation. Springer, Wien (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-211-75540-2"},{"key":"4_CR17","unstructured":"Knuth, D.: The Art of Computer Programming, Volume 2. The: Seminumerical Algorithms 4.2.3, 3rd edn. Addison-Wesley, Sydney (1998)"},{"key":"4_CR18","unstructured":"Hida, Y., Li, S., Bailey, D.: Library for double-double and quad-double arithmetic (2008). \n                      https:\/\/www.researchgate.net\/publication\/228570156_Library_for_Double-Double_and_Quad-Double_Arithmetic"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1236463.1236468","volume":"33","author":"L Fousse","year":"2007","unstructured":"Fousse, L., Hanrot, G., Lef\u00e8vre, V., P\u00e9lissier, P., Zimmermann, P.: MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. (TOMS) 33(2), 1\u201314 (2007). \n                      https:\/\/doi.org\/10.1145\/1236463.1236468\n                      \n                    . Article No. 13","journal-title":"ACM Trans. Math. Softw. (TOMS)"},{"key":"4_CR20","unstructured":"Lange, M., Rump, S.: Faithfully rounded FP computations. preprint, vol. 1, no. 1 (2017). \n                      https:\/\/urldefense.proofpoint.com\/v2\/url?u=http-3A__www.ti3.tuhh.de&d=DwIBaQ&c=vh6FgFnduejNhPPD0fl_yRaSfZy8CWbWnIf4XJhSqx8&r=phx_h-t0CpJpXloE7Nt7XzoVuWOl1rYzfCfuZFItYqZo5lxViGBLk_fC3J092Uza&m=as-6aujO3oSMlwe2QObpbwos2EV580rwz45Btb2diZk&s=x4bV2sQwvF2OiCfTJI5P0v04JsZK2ZzuyxOXxY7-8JY&e"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Mayer-Lindenberg, F., Beller, V.: An FPGA-based floating-point processor array supporting a high-precision dot product. In: 2006 IEEE International Conference on Field Programmable Technology, Bangkok, Thailand, pp. 317\u2013320. IEEE (2006). \n                      https:\/\/doi.org\/10.1109\/fpt.2006.270337","DOI":"10.1109\/fpt.2006.270337"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"Li, X., Phung, C.F., Maskell, D.L.: FPGA overlays: hardware-based computing for the masses. In: Proceedings of the Eighth International Conference on Advances in Computing, Electronics and Electrical Technology - CEET 2018, pp. 25\u201331. SEEK Digital Library (2018). \n                      https:\/\/doi.org\/10.15224\/978-1-63248-144-3-12","DOI":"10.15224\/978-1-63248-144-3-12"},{"issue":"1","key":"4_CR23","first-page":"1","volume":"11","author":"PR Hafner","year":"2004","unstructured":"Hafner, P.R.: On the graphs of Hoffman-Singleton and Higman-Sims. Electron. J. Comb. 11(1), 1\u201333 (2004). Article No. R77","journal-title":"Electron. J. Comb."},{"key":"4_CR24","unstructured":"Parallelrechner ER-4, Technische Universit\u00e4t Hamburg. \n                      www.tuhh.de\/ict\/forschung\/parallelrechner-er-4.html"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25636-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T20:29:07Z","timestamp":1564604947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25636-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030256357","9783030256364"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25636-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"17 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PaCT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Parallel Computing Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Almaty","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kazakhstan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pact2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ssd.sscc.ru\/conference\/pact2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}