{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:35Z","timestamp":1750307735910,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,18]],"date-time":"2009-06-18T00:00:00Z","timestamp":1245283200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,18]]},"DOI":"10.1145\/1731740.1731820","type":"proceedings-article","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T19:20:59Z","timestamp":1267557659000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["FSM decomposition with application to FPGA synthesis"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Sudnitson","sequence":"first","affiliation":[]},{"given":"Dmitri","family":"Mihhailov","sequence":"additional","affiliation":[]},{"given":"Margus","family":"Kruus","sequence":"additional","affiliation":[]},{"given":"Konstantin","family":"Tarletski","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2009,6,18]]},"reference":[{"volume-title":"32nd ASEE\/IEEE Frontiers in Education Conference","year":"2002","author":"David Harris","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/TE.2004.842909"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/TE.2004.825926"},{"unstructured":"Hartmanis J. and Stearns R. E. Algebraic Structure Theory of Sequential Machines Englewood Cliffs N. J.: Prentice-Hall 1966.   Hartmanis J. and Stearns R. E. Algebraic Structure Theory of Sequential Machines Englewood Cliffs N. J.: Prentice-Hall 1966.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/43.503930"},{"volume-title":"IEEE 5th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS","year":"2002","author":"Fomina J.","key":"e_1_3_2_1_6_1"},{"unstructured":"Sun Microsystems Inc. http:\/\/www.sun.com\/  Sun Microsystems Inc. http:\/\/www.sun.com\/","key":"e_1_3_2_1_7_1"},{"unstructured":"Xilinx Inc. http:\/\/www.xilinx.com\/  Xilinx Inc. http:\/\/www.xilinx.com\/","key":"e_1_3_2_1_8_1"},{"unstructured":"Altera Corporation. http:\/\/www.altera.com\/  Altera Corporation. http:\/\/www.altera.com\/","key":"e_1_3_2_1_9_1"},{"unstructured":"Web-Based Part of D&S software. http:\/\/www.pld.ttu.ee\/decomposition  Web-Based Part of D&S software. http:\/\/www.pld.ttu.ee\/decomposition","key":"e_1_3_2_1_10_1"},{"unstructured":"Web-Based Part of FSMNet software. http:\/\/www.pld.ttu.ee\/applets\/probability  Web-Based Part of FSMNet software. http:\/\/www.pld.ttu.ee\/applets\/probability","key":"e_1_3_2_1_11_1"}],"event":{"acronym":"CompSysTech '09","name":"CompSysTech '09: Proceedings of the 10th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing","location":"Ruse Bulgaria"},"container-title":["Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1731740.1731820","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1731740.1731820","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:38:49Z","timestamp":1750253929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1731740.1731820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,18]]},"references-count":11,"alternative-id":["10.1145\/1731740.1731820","10.1145\/1731740"],"URL":"https:\/\/doi.org\/10.1145\/1731740.1731820","relation":{},"subject":[],"published":{"date-parts":[[2009,6,18]]},"assertion":[{"value":"2009-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}