{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:41:57Z","timestamp":1725522117297},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540922476"},{"type":"electronic","value":"9783540922483"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92248-3_19","type":"book-chapter","created":{"date-parts":[[2008,12,4]],"date-time":"2008-12-04T13:36:17Z","timestamp":1228397777000},"page":"206-217","source":"Crossref","is-referenced-by-count":3,"title":["An Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph"],"prefix":"10.1007","author":[{"given":"Gregory","family":"Gutin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Johnstone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Reddington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Yeo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Bonzini, P., Pozzi, L.: Polynomial-time subgraph enumeration for automated instruction set extension. In: DATE 2007, pp. 1331\u20131336 (2007)","key":"19_CR1","DOI":"10.1109\/DATE.2007.364482"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1109\/TCAD.2006.883915","volume":"26","author":"X. Chen","year":"2007","unstructured":"Chen, X., Maskell, D.L., Sun, Y.: Fast identification of custom instructions for extensible processors. IEEE Trans. Computer-Aided Design Integr. Circuits Syst.\u00a026, 359\u2013368 (2007)","journal-title":"IEEE Trans. Computer-Aided Design Integr. Circuits Syst."},{"doi-asserted-by":"crossref","unstructured":"Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: MiBench: A free, commercially representative embedded benchmark suite. In: Proceedings of the WWC-4, 2001 IEEE International Workshop on Workload Characterization, pp. 3\u201314 (2001)","key":"19_CR3","DOI":"10.1109\/WWC.2001.990739"},{"unstructured":"Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A., Yeo, A.: An algorithm for finding connected convex subgraphs of an acyclic digraph. In: Algorithms and Complexity in Durham, 2007. College Publications (2008)","key":"19_CR4"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"1209","DOI":"10.1109\/TCAD.2005.855950","volume":"25","author":"L. Pozzi","year":"2006","unstructured":"Pozzi, L., Atasu, K., Ienne, P.: Exact and approximate algorithms for the extension of embedded processor instruction sets. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a025, 1209\u20131229 (2006)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"unstructured":"Reddington, J.: Improvements to instruction identification for custom instruction set design. PhD Thesis, Royal Holloway, University of London (2008)","key":"19_CR6"}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92248-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T08:35:36Z","timestamp":1551688536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92248-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922476","9783540922483"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92248-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}