{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:37:39Z","timestamp":1725716259441},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642364235"},{"type":"electronic","value":"9783642364242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36424-2_16","type":"book-chapter","created":{"date-parts":[[2013,2,11]],"date-time":"2013-02-11T10:56:45Z","timestamp":1360580205000},"page":"183-194","source":"Crossref","is-referenced-by-count":1,"title":["Custom Reconfigurable Architecture Based on Virtex 5 Lookup Tables"],"prefix":"10.1007","author":[{"given":"Rico","family":"Backasch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Hochberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"16_CR1","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"16_CR2","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology (TOSEM) (2009) (in press)"},{"key":"16_CR3","unstructured":"ARM: Coresight (2011), \n                  \n                    http:\/\/www.arm.com\/products\/system-ip\/coresight\/index.php"},{"key":"16_CR4","unstructured":"NEXUS-Forum: The Nexus 5001 forum (2011), \n                  \n                    http:\/\/nexus5001.org"},{"key":"16_CR5","unstructured":"Infineon: MCDS - multi-core debug solution (2011), \n                  \n                    http:\/\/www.infineon.com"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Hochberger, C., Weiss, A.: Acquiring an exhaustive, continuous and real-time trace from socs. In: IEEE International Conference on Computer Design, ICCD 2008, pp. 356\u2013362 (October 2008)","DOI":"10.1109\/ICCD.2008.4751885"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering (ICSE), pp. 411\u2013420. IEEE (1999)","DOI":"10.1145\/302405.302672"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hempel, G., Hochberger, C.: A resource optimized SoC kit for FPGAs. In: Bertels, K., Najjar, W.A., van Genderen, A.J., Vassiliadis, S. (eds.) International Conference on Field Programmable Logic and Applications (FPL 2007), pp. 761\u2013764. IEEE (2007)","DOI":"10.1109\/FPL.2007.4380763"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems \u2013 ARCS 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36424-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T05:34:31Z","timestamp":1557552871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36424-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642364235","9783642364242"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36424-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}