[{"date_created":"2026-07-03T21:14:35Z","type":"journal_article","citation":{"mla":"Chen, Kuan-Hsun, et al. “Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications.” <i>Journal of Signal Processing Systems</i>, vol. 95, no. 5, Springer Science and Business Media LLC, 2023, pp. 569–70, doi:<a href=\"https://doi.org/10.1007/s11265-023-01854-y\">10.1007/s11265-023-01854-y</a>.","ama":"Chen K-H, Lin Y-C, Lee J-K. Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications. <i>Journal of Signal Processing Systems</i>. 2023;95(5):569-570. doi:<a href=\"https://doi.org/10.1007/s11265-023-01854-y\">10.1007/s11265-023-01854-y</a>","bibtex":"@article{Chen_Lin_Lee_2023, title={Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications}, volume={95}, DOI={<a href=\"https://doi.org/10.1007/s11265-023-01854-y\">10.1007/s11265-023-01854-y</a>}, number={5}, journal={Journal of Signal Processing Systems}, publisher={Springer Science and Business Media LLC}, author={Chen, Kuan-Hsun and Lin, Yung-Chia and Lee, Jenq-Kuen}, year={2023}, pages={569–570} }","apa":"Chen, K.-H., Lin, Y.-C., &#38; Lee, J.-K. (2023). Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications. <i>Journal of Signal Processing Systems</i>, <i>95</i>(5), 569–570. <a href=\"https://doi.org/10.1007/s11265-023-01854-y\">https://doi.org/10.1007/s11265-023-01854-y</a>","ieee":"K.-H. Chen, Y.-C. Lin, and J.-K. Lee, “Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications,” <i>Journal of Signal Processing Systems</i>, vol. 95, no. 5, pp. 569–570, 2023, doi: <a href=\"https://doi.org/10.1007/s11265-023-01854-y\">10.1007/s11265-023-01854-y</a>.","chicago":"Chen, Kuan-Hsun, Yung-Chia Lin, and Jenq-Kuen Lee. “Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications.” <i>Journal of Signal Processing Systems</i> 95, no. 5 (2023): 569–70. <a href=\"https://doi.org/10.1007/s11265-023-01854-y\">https://doi.org/10.1007/s11265-023-01854-y</a>.","short":"K.-H. Chen, Y.-C. Lin, J.-K. Lee, Journal of Signal Processing Systems 95 (2023) 569–570."},"publication":"Journal of Signal Processing Systems","issue":"5","language":[{"iso":"eng"}],"_id":"66185","publisher":"Springer Science and Business Media LLC","page":"569-570","volume":95,"doi":"10.1007/s11265-023-01854-y","user_id":"128464","author":[{"full_name":"Chen, Kuan-Hsun","last_name":"Chen","first_name":"Kuan-Hsun"},{"full_name":"Lin, Yung-Chia","first_name":"Yung-Chia","last_name":"Lin"},{"full_name":"Lee, Jenq-Kuen","first_name":"Jenq-Kuen","last_name":"Lee"}],"publication_identifier":{"issn":["1939-8018","1939-8115"]},"status":"public","title":"Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications","year":"2023","intvolume":"        95","date_updated":"2026-07-05T14:47:03Z","publication_status":"published"},{"issue":"11","publication":"Journal of Signal Processing Systems","abstract":[{"lang":"eng","text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory."}],"date_created":"2019-08-26T13:41:57Z","department":[{"_id":"78"}],"type":"journal_article","author":[{"orcid":"0000-0003-1377-3339","first_name":"Tim","last_name":"Hansmeier","full_name":"Hansmeier, Tim","id":"49992"},{"full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco","id":"398"},{"last_name":"Pantho","first_name":"Md Jubaer Hossain","full_name":"Pantho, Md Jubaer Hossain"},{"full_name":"Andrews, David","first_name":"David","last_name":"Andrews"}],"publication_identifier":{"issn":["1939-8018","1939-8115"]},"title":"An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology","year":"2019","intvolume":"        91","publication_status":"published","date_updated":"2022-01-06T06:51:27Z","language":[{"iso":"eng"}],"doi":"10.1007/s11265-018-1435-y","citation":{"bibtex":"@article{Hansmeier_Platzner_Pantho_Andrews_2019, title={An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology}, volume={91}, DOI={<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>}, number={11}, journal={Journal of Signal Processing Systems}, author={Hansmeier, Tim and Platzner, Marco and Pantho, Md Jubaer Hossain and Andrews, David}, year={2019}, pages={1259–1272} }","ama":"Hansmeier T, Platzner M, Pantho MJH, Andrews D. An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>. 2019;91(11):1259-1272. doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>","mla":"Hansmeier, Tim, et al. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, 2019, pp. 1259–72, doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>.","short":"T. Hansmeier, M. Platzner, M.J.H. Pantho, D. Andrews, Journal of Signal Processing Systems 91 (2019) 1259–1272.","chicago":"Hansmeier, Tim, Marco Platzner, Md Jubaer Hossain Pantho, and David Andrews. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i> 91, no. 11 (2019): 1259–72. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>.","ieee":"T. Hansmeier, M. Platzner, M. J. H. Pantho, and D. Andrews, “An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology,” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, pp. 1259–1272, 2019.","apa":"Hansmeier, T., Platzner, M., Pantho, M. J. H., &#38; Andrews, D. (2019). An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>, <i>91</i>(11), 1259–1272. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>"},"status":"public","_id":"12967","page":"1259 - 1272","volume":91,"user_id":"49992"}]