金澤 健治 / Kanazawa, Kenji
システム情報系 助教 / Assistant Professor, Faculty of Engineering,Information and Systems
論文 / Publication
- Solving Maximum Clique Problems using FPGA Based on Swap-Based Tabu Search (2021)
- Accelerating Swap-Based Tabu Search for Solving Maximum Clique Problems on FPGA 金澤 健治 ISPA-2019 (2019)
- ``FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT'' Kenji Kanazawa, Shaowei Cai MCSoC-2018 217 - 224 (2018)
- ``Acceleration of Solving Quadratic Assignment Problems on Programmable SoC using High Level Synthesis'' Kenji Kanazawa FSP-2017 40 - 47 (2017)
- An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA Kenji Kanazawa, Tsutomu Maruyama E100D (8) 1807 - 1818 (2017)
- ``FPGAを用いた画像処理応用のためのMonotone Chainアルゴリズムの高速計算'' 監物 香保里, 金澤 健治, 森 大和, 相部 範之, 安永 守利 電子情報通信学会論文誌 J100-D (1) 1 - 13 (2017)
- High-speed calculation of convex hull in 2D images using FPGA Kenji Kanazawa, Kahori Kemmotsu, Yamato Mori, Noriyuki Aibe, Moritoshi Yasuanga 27 533 - 542 (2016)
- An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga SIGARCH Computer Architecture News 44 (4) 32 - 37 (2016)
- FPGA acceleration of SAT/Max-SAT solving using variable-way cache Kenji Kanazawa, Tsutomu Maruyama 1 - 4 (2014)
- "Crosstalk-noise Reduction in GHz Domain Using Segmental Transmission Line" Katsuyuki Seki, Kenji Kanazawa, Moritoshi Yasunaga EDAPS-2013 1 - 4 (2013)
researchmap の論文リストを表示する Show the publication list on researchmap
※上記の論文リストは researchmapから取得した論文リストにDOIリンク等の情報を付加したものです。筑波大学研究者総覧(TRIOS)または researchmapの論文リストが更新されると後日反映されます。
論文のオープンアクセス版を読む Check out a freely downloadable version
※このページの情報は、reseachmap APIより取得しています
発行:筑波大学 URA研究戦略推進室・研究推進部
© University of Tsukuba