{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,8]],"date-time":"2024-12-08T00:10:24Z","timestamp":1733616624895,"version":"3.30.1"},"reference-count":30,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2002,2]]},"DOI":"10.1080\/08839510252824544","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T15:25:43Z","timestamp":1027697143000},"page":"117-157","source":"Crossref","is-referenced-by-count":0,"title":["Value prediction in hls allocation problems using intellectual properties"],"prefix":"10.1080","volume":"16","author":[{"given":"Zs.","family":"Palotai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Kand\u00e1r","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Mohr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Visegr\u00e1dy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Ziegler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Arat\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"L\u00farincz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"volume-title":"High-level Synthesis of Pipelined Datapaths","year":"1999","author":"Arat\u00f3 P.","key":"CIT0001"},{"volume-title":"An algorithm for decomposition into predefined ips","year":"2000","author":"Arat\u00f3 P.","key":"CIT0002"},{"volume-title":"High Level Synthesis of Pipelined Datapaths","year":"2001","author":"Arat\u00f3 P.","key":"CIT0003"},{"key":"CIT0004","unstructured":"Boyan, J. A. 1998.Learning evaluation functions for global optimization, 15213Pittsburgh, PA: School of Computer Science, Carnagie Mellon University. Ph. D. diss."},{"key":"CIT0005","unstructured":"Boyan, J. A. and Moore, A.W. Learning evaluation function for global optimization and boolean satisfiability. Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI). Madison, WI. Vol. 14,"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1162\/15324430152733124"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1109\/43.21835"},{"volume-title":"Synthesis and Optimization of Digital Circuits","year":"1994","author":"DeMicheli G.","key":"CIT0008"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Eisenring, M. and Teich, J. Domain-specific interface generation from dataflow specifications. Codes \"98, the 6th Int. Workshop on Hardware\/Software Codesign. Seattle, WA. pp.43\u201347.","DOI":"10.1109\/HSC.1998.666236"},{"key":"CIT0010","volume-title":"Embedded System Architectures, System Level Synthesis, Volume 357 of Nato Science Series","volume":"357","author":"Ernst R.","year":"1999"},{"key":"CIT0011","first-page":"127","volume":"1995","author":"Fu C","year":"1995","journal-title":"Proc of Irregular '95, Lyon, France, Sept"},{"volume-title":"Silicon Compilation","year":"1988","author":"Gajski D.","key":"CIT0012"},{"key":"CIT0013","volume-title":"Neural Networks: A Comprehensive Foundation","author":"Haykin S.","year":"1999","edition":"2"},{"volume-title":"Approximation Algorithms for NP--Hard Problems","year":"1995","author":"Hochbaum D.","key":"CIT0014"},{"key":"CIT0015","series-title":"NATO Science Series","volume-title":"System Level Synthesis","author":"Jerraya A. A.","year":"1998"},{"key":"CIT0016","series-title":"Technical Report tr00-10","volume-title":"Incorporation cache models in iterative compilation for combined tiling and unrolling","author":"Kisuki T.","year":"2000"},{"key":"CIT0017","unstructured":"Kleiber, A. January 2000. \u201cTechnology behind crusoe processors\u201d. January, http:\/\/www.transmeta.com\/crusoe\/ technology.html. available in pdf format"},{"key":"CIT0018","unstructured":"Palotai, Z., Ziegler, G. and L\u00f6rincz, A. November 2000. \u201cComparisons between cplex and stage on cnf problems\u201d. November, Unpublished results"},{"key":"CIT0019","unstructured":"Park, N. and Parker, A. Shewa: A program for synthesis of pipelines. Proceedings of the 23. Des. Automation Conference. Las Vegas, NV. pp.454\u2013460."},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/43.31522"},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"Selman, B., Kautz, H. A. and Cohen, B. Second DIMACS Challenge on Cliques, Coloring and Satisfiability 26,521-531. AAAI-92: Proceedings of the 10th National Conference on AI. San Jose, CA. Local search strategies for satisfiability testing,","DOI":"10.1090\/dimacs\/026\/25"},{"key":"CIT0022","doi-asserted-by":"crossref","unstructured":"Staunstrup, J. and Wolf, W. 1997. \u201cHardware-Software Codesign: Principles and Practice\u201d. Dordrecht, the Netherlands: Kluwer Academic Publisher.","DOI":"10.1007\/978-1-4757-2649-7"},{"volume-title":"Reinforcement learning: An introduction","year":"1998","author":"Sutton R. S.","key":"CIT0023"},{"key":"CIT0024","doi-asserted-by":"crossref","unstructured":"Vahid, P. and Tauro, L. An object-oriented communication library for hardware-software codesign. Codes\/CASHE '97. March24-26, Braunschweig, Germany. pp.81\u201387.","DOI":"10.1109\/HSC.1997.584583"},{"key":"CIT0025","unstructured":"van der Mark, P., Rohou, E., Bodin, F., Chamski, Z. and Eisenbeis, C. Using iterative compilation for managing software pipeline-unrolling tradeoffs. Proc. SCOPES99. 1999. http: \/\/www.liacs.nl\/ home\/mark\/publications"},{"key":"CIT0026","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2440-0","volume-title":"The nature of statistical learning theory","author":"Vapnik V.","year":"1995"},{"volume-title":"Hardware-Software Codesign in a High-Level Synthesis Environment","year":"1999","author":"Visegr\u00e1dy T.","key":"CIT0027"},{"year":"1995","series-title":"Tech Report TRCS95-16, UCSB","author":"Yang T.","key":"CIT0028"},{"key":"CIT0029","doi-asserted-by":"crossref","unstructured":"Young, J., MacDonald, J., Shilman, M., Tabbara, A., Hilfinger, P. and Newton, A. August 1998. \u201cThe javatime approach to mixed hardware-software system design\u201d. August, NATO ASI SystemLevel Synthesis.","DOI":"10.1007\/978-94-011-4698-2_11"},{"journal-title":"Journal of Artificial Intelligence Research","year":"2000","author":"Zhang W.","key":"CIT0030"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510252824544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T23:29:10Z","timestamp":1733614150000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510252824544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,2]]}},"alternative-id":["10.1080\/08839510252824544"],"URL":"https:\/\/doi.org\/10.1080\/08839510252824544","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"type":"print","value":"0883-9514"},{"type":"electronic","value":"1087-6545"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}