{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:28:19Z","timestamp":1742938099023,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":19,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461448938"},{"type":"electronic","value":"9781461448945"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-1-4614-4894-5_6","type":"book-chapter","created":{"date-parts":[[2013,5,16]],"date-time":"2013-05-16T14:01:10Z","timestamp":1368712870000},"page":"135-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["LARA Experiments"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Gon\u00e7alves","sequence":"first","affiliation":[]},{"given":"Zlatko","family":"Petrov","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Gabriel","family":"de F. Coutinho","sequence":"additional","affiliation":[]},{"given":"Razvan","family":"Nane","sequence":"additional","affiliation":[]},{"given":"Vlad-Mihai","family":"Sima","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o M. P.","family":"Cardoso","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Werner","sequence":"additional","affiliation":[]},{"given":"Sujit","family":"Bhattacharya","sequence":"additional","affiliation":[]},{"given":"Tiago","family":"Carvalho","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Nobre","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"de S\u00e1","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Teixeira","sequence":"additional","affiliation":[]},{"given":"Pedro C.","family":"Diniz","sequence":"additional","affiliation":[]},{"given":"Koen","family":"Bertels","sequence":"additional","affiliation":[]},{"given":"George","family":"Constantinides","sequence":"additional","affiliation":[]},{"given":"Wayne","family":"Luk","sequence":"additional","affiliation":[]},{"given":"Juergen","family":"Becker","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Carlos","family":"Alves","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o Canas","family":"Ferreira","sequence":"additional","affiliation":[]},{"given":"Gabriel M.","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,17]]},"reference":[{"key":"6_CR1","unstructured":"J.M.P. Cardoso, R. Nane, P. C. Diniz, Z. Petrov, K. Kr\u00e1tk\u00fd, K. Bertels, M. H\u00fcbner, F. Gon\u00e7alves, J.G.F. Coutinho, G. Constantinides, B. Olivier, W. Luk, J. Becker, G. Kuzmanov, A new approach to control and guide the mapping of computations to FPGAs, in The International Conference Engineering of Reconfigurable Systems and Algorithms (ERSA\u201911), Las Vegas, Nevada, USA, 18\u201321 July 2011, CSREA Press. pp. 231\u2013240"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"J.M.P. Cardoso, J. Teixeira, J. Alves, R. Nobre, P. Diniz, J. Coutinho, W. Luk, Specifying compiler strategies for FPGA-based systems, in 20th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM\u20192012), Toronto, Ontario, Canada 29 April\u20131 May 2012, pp. 192\u2013199","DOI":"10.1109\/FCCM.2012.41"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"J.M.P. Cardoso, T. Carvalho, J.G.F. Coutinho, P. Diniz, Z. Petrov, W. Luk, Controlling hardware synthesis with aspects, in 15th Euromicro Conference on Digital System Design: Architectures, Methods & Tools (DSD\u201912), Izmir-Turkey, 5\u20138 Sept 2012","DOI":"10.1109\/DSD.2012.33"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"J.M.P. Cardoso, T. Carvalho, J. Teixeira, P.C. Diniz, F. Gon\u00e7alves, Z. Petrov, Hardware\/software specialization through aspects, in International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS\u2019XII), Special Session on Programming paradigms for Reconfigurable Multi-Core Embedded Systems, Samos, Greece, 16\u201319 July 2012, pp. 260\u2013267","DOI":"10.1109\/SAMOS.2012.6404183"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"J.G.F. Coutinho, S. Bhattacharya, W. Luk, G.A. Constantinides, J.M.P. Cardoso, T. Carvalho, Pedro C. Diniz, Z. Petrov, Resource-efficient designs using an aspect-oriented approach, in 10th IEEE\/IFIP International Conference on Embedded and Ubiquitous Computing (EUC\u20192012), 5\u20137 Dec, Paphos, Cyprus","DOI":"10.1109\/ICCSE.2012.62"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Z. Petrov, K. Kr\u00e1tk\u00fd, J.M.P. Cardoso, P. Diniz, Programming safety requirements in the REFLECT design flow, in 9th IEEE International Conference on Industrial Informatics (INDIN\u20192011), 26\u201329 July 2011, Caparica, Lisbon, pp. 841\u2013847","DOI":"10.1109\/INDIN.2011.6035002"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"A. Azarian, J.C. Ferreira, S. Werner, Z. Petrov, J.M.P. Cardoso, M. Huebner, Analysis of error detection schemes: Toolchain support and hardware\/software implications, in NASA\/ESA NASA\/ESA Conference on Adaptive Hardware and Systems, (AHS\u20192012), Erlangen, Germany, 25\u201328 June 2012. IEEE 2012, pp. 62\u201369","DOI":"10.1109\/AHS.2012.6268670"},{"key":"6_CR8","unstructured":"Xilinx Inc., ML510 Embedded Development User Guide, UG356 (v1.2) 16 June 2011"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1007963408438","volume":"21","author":"Z. Li","year":"1998","unstructured":"Z. Li, T. Bui, Robot path planning using fluid model. J. Intell. Robotic Syst. 21, 29\u201350, (1998)","journal-title":"J. Intell. Robotic Syst."},{"issue":"2","key":"6_CR10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/3468.833100","volume":"30","author":"K. Valavanis","year":"2000","unstructured":"K. Valavanis, T. Hebert, R. Kolluru, N. Tsourveloudis, Mobile robot navigation in 2-D dynamic environments using an electrostatic potential field. IEEE Trans. Syst. Cybern. 30(2), 187\u2013196 (2000)","journal-title":"IEEE Trans. Syst. Cybern."},{"key":"6_CR11","unstructured":"ISO\/IEC 13818-3, Information technology\u2014Generic coding of moving pictures and associated audio information\u2014Part 3: Audio"},{"key":"6_CR12","unstructured":"ITU-T G-Series Recommendations, Coding of speech at 8 kbit\/s using conjugate-structure algebraic-code-excited linear prediction (CS-ACELP), 01\/2007"},{"key":"6_CR13","unstructured":"Coreworks S.A., SideWorks Reference Book, v2.1, 2012, http:\/\/www.coreworks-sa.com"},{"key":"6_CR14","volume-title":"Fault-Tolerant Systems","author":"I Koren","year":"2007","unstructured":"I. Koren, C. Mani Krishna, Fault-Tolerant Systems (Morgan Kaufmann Publishers Inc., San Francisco, 2007)"},{"issue":"11","key":"6_CR15","doi-asserted-by":"publisher","first-page":"1363","DOI":"10.1109\/TC.2004.104","volume":"53","author":"S Vassiliadis","year":"2004","unstructured":"S. Vassiliadis, S. Wong, G. Gaydadjiev, K. Bertels, G. Kuzmanov, E.M. Panainte, The Molen polymorphic processor. IEEE Trans. Comput. 53(11), 1363\u20131375 (2004)","journal-title":"IEEE Trans. Comput."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"J.M.P. Cardoso, J.G.F. Coutinho, T. Carvalho, LARA programming language specification, v2.0. REFLECT Int. Tech. Rep. (2012)","DOI":"10.1145\/2162049.2162071"},{"key":"6_CR17","unstructured":"Xilinx Inc., All Programmable Technologies from Xilinx Inc., http:\/\/www.xilinx.com"},{"key":"6_CR18","unstructured":"Calypto Design Systems Inc. Catapult-C\u00ae High-Level Synthesis\u2014Blue Book. (2011)"},{"key":"6_CR19","unstructured":"J. Hauser, SoftFloat (2010), http:\/\/www.jhauser.us\/arithmetic\/SoftFloat.html"}],"container-title":["Compilation and Synthesis for Embedded Reconfigurable Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-4894-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T15:24:08Z","timestamp":1675783448000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-4894-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461448938","9781461448945"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-4894-5_6","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"17 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}