{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:04:03Z","timestamp":1725458643373},"publisher-location":"Boston","reference-count":11,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402075286"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-306-48709-8_20","type":"book-chapter","created":{"date-parts":[[2005,12,30]],"date-time":"2005-12-30T11:21:38Z","timestamp":1135941698000},"page":"261-274","source":"Crossref","is-referenced-by-count":0,"title":["State Space Compression in History Driven Quasi-Static Scheduling"],"prefix":"10.1007","author":[{"given":"Antonio G.","family":"Lome\u00f1a","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marisa","family":"L\u00f3pez-Vallejo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosinori","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Kondratyev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"A. V. Aho, R. Sethi and J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison Wesley, 1986."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Cortadella, J. et al. \u201cTask Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software.\u201d In Design Automation Conference, pp. 489\u2013494, 2000.","DOI":"10.1145\/337292.337553"},{"key":"20_CR3","series-title":"Technical Report","volume-title":"New Methods for Sequential Hashing with Supertrace","author":"Eckerle","year":"1998","unstructured":"Eckerle, Jurgen and Lais. \u201cNew Methods for Sequential Hashing with Supertrace.\u201d Technical Report, Institut fur Informatik, Universitat Freiburg, Germany, 1998."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"J. Esparza, S. R\u00f6mer and W. Vogler. \u201cAn Improvement of McMillan\u2019s Unfoding Algorithm.\u201d In TACAS\u201996, 1996.","DOI":"10.1007\/3-540-61042-1_40"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Partial Order Methods for the Verification of Concurrent Systems. An Approach to the State-Explosion Problem. Ph.D. thesis, Universite de Liege, 1995.","DOI":"10.1007\/3-540-60761-7"},{"issue":"3","key":"20_CR6","doi-asserted-by":"crossref","first-page":"1570","DOI":"10.1109\/26.168785","volume":"4","author":"R. Jain","year":"1992","unstructured":"R. Jain. \u201cA comparison of Hashing Schemes for Address Lookup in Computer Networks.\u201d IEEE Trans. On Communications, 4(3): 1570\u20131573, 1992.","journal-title":"IEEE Trans. On Communications"},{"issue":"4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. \u201cPetri Nets: Properties, Analysis and Applications.\u201d Proceedings of the IEEE, Vol. 77, No. 4, pp. 541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"K. Schmidt. \u201cIntegrating Low Level Symmetries into Reachability Analysis.\u201d In Tools and Algorithms for the Construction and Analysis of Systems, pp. 315\u2013330, Springer Verlag, 2000.","DOI":"10.1007\/3-540-46419-0_22"},{"key":"20_CR9","unstructured":"SPIN. http:\/\/spinroot.com\/spin\/whatispin.html , 2003."},{"key":"20_CR10","unstructured":"U. Stern and D. L. Dill. \u201cCombining State Space Caching and Hash Compaction.\u201d In GI\/ITG\/GME Workshop, 1996."},{"issue":"4","key":"20_CR11","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/92.931229","volume":"9","author":"K. Strehl","year":"2001","unstructured":"K. Strehl et al. \u201cFunState-An Internal Design Representation for Codesign.\u201d IEEE Trans. on VLSI Systems, Vol. 9, No. 4, pp. 524\u2013544, August 2001.","journal-title":"IEEE Trans. on VLSI Systems"}],"container-title":["Embedded Software for SoC"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-306-48709-8_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:07Z","timestamp":1605642727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-306-48709-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402075286"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/0-306-48709-8_20","relation":{},"subject":[]}}