{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:09:23Z","timestamp":1725566963367},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281283"},{"type":"electronic","value":"9783540318231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11535409_71","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T05:23:48Z","timestamp":1285651428000},"page":"488-493","source":"Crossref","is-referenced-by-count":18,"title":["Relating FFTW and Split-Radix"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Kiselyov","sequence":"first","affiliation":[]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"71_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1013623303037","volume":"21","author":"W. Boehm","year":"2002","unstructured":"Boehm, W., Hammes, J., Draper, B., Chawathe, M., Ross, C., Rinker, R., Najjar, W.: Mapping a single assignment programming language to reconfigurable systems. Supercomputing\u00a021, 117\u2013130 (2002)","journal-title":"Supercomputing"},{"key":"71_CR2","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"4th ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM, New York (1977)"},{"key":"71_CR3","doi-asserted-by":"crossref","unstructured":"Frigo, M.: A fast Fourier transform compiler. In: Proceedings of the Conference on Programming Language Design and Implementation, pp. 169\u2013180 (1999)","DOI":"10.1145\/301618.301661"},{"key":"71_CR4","doi-asserted-by":"crossref","unstructured":"Burrus, C.S., Selesnick, I.W.: Automatic generation of prime length FFT programs. IEEE Transactions on Signal Processing, 14\u201324 (January 1996)","DOI":"10.1109\/78.482008"},{"key":"71_CR5","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Swadi, K., Taha, W.: A methodology for generating verified combinatorial circuits. In: The International Workshop on Embedded Software (EMSOFT 2004), Pisa, Italy. LNCS. Springer, Heidelberg (2004) (to appear)","DOI":"10.1145\/1017753.1017794"},{"key":"71_CR6","unstructured":"Leroy, X.: Objective Caml (2000), Available from http:\/\/caml.inria.fr\/ocaml\/"},{"key":"71_CR7","doi-asserted-by":"crossref","unstructured":"Lipsett, R., Marschner, E., Shaded, M.: VHDL - The Language. IEEE Design and Test of Computers, 28\u201341 (April 1986)","DOI":"10.1109\/MDT.1986.294900"},{"key":"71_CR8","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation, 93(1) (1991)","DOI":"10.1016\/0890-5401(91)90052-4"},{"issue":"1","key":"71_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/TASSP.1986.1164785","volume":"ASSP-34","author":"M.T. Heideman","year":"1986","unstructured":"Heideman, M.T., Burrus, C.S.: On the number of multiplications necessary to compute a length-2n DFT. IEEE Trans. ASSP\u00a0ASSP-34(1), 91\u201395 (1986)","journal-title":"IEEE Trans. ASSP"},{"key":"71_CR10","unstructured":"Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291- 1000, USA Available online from ftp:\/\/cse.ogi.edu\/pub\/tech-reports\/README.html"},{"key":"71_CR11","unstructured":"Taha, W.: Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology (1999), Available from [10]"},{"key":"71_CR12","doi-asserted-by":"crossref","unstructured":"Taha, W., Ellner, S., Xi, H.: Generating Imperative, Heap-Bounded Programs in a Functional Setting. In: Proceedings of the Third International Conference on Embedded Software, Philadelphia, PA (October 2003)","DOI":"10.1007\/978-3-540-45212-6_22"},{"key":"71_CR13","doi-asserted-by":"crossref","unstructured":"Taha, W., Nielsen, M.F.: Environment classifiers. In: The Symposium on Principles of Programming Languages (POPL 2003), New Orleans (2003)","DOI":"10.1145\/604131.604134"},{"key":"71_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2464-6","volume-title":"The Verilog Hardware Description Language","author":"D.E. Thomas","year":"1996","unstructured":"Thomas, D.E., Moorby, P.R.: The Verilog Hardware Description Language, 3rd edn. Kluwer Academic Publishers, Dordrecht (1996)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11535409_71.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:27Z","timestamp":1605643887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11535409_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281283","9783540318231"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11535409_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}