Kenji Kanazawa

发表

An FPGA Solver for SAT-Encoded Formal Verification Problems

Tsutomu Maruyama, Kenji Kanazawa, 2011, 2011 21st International Conference on Field Programmable Logic and Applications.

Electrochemically-switchable emission and absorption by using luminescent Lanthanide(III) complex and electrochromic molecule toward novel display device with dual emissive and reflective mode

Kazuki Nakamura, Kenji Kanazawa, Norihisa Kobayashi, 2013, Displays.

Crosstalk-noise reduction in GHz domain using segmental transmission line

Moritoshi Yasunaga, Kenji Kanazawa, Katsuyuki Seki, 2013, 2013 IEEE Electrical Design of Advanced Packaging Systems Symposium (EDAPS).

Dynamic Characteristics of the Medium-Rise SRC-Building under Repair Works

Kenji Kanazawa, 1996 .

FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT

Shaowei Cai, Kenji Kanazawa, Shaowei Cai, 2018, 2018 IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC).

Shaking Table Tests With Large Test Specimens of Seismically Isolated FBR Plants: Part 3—Ultimate Behavior of Upper Structure and Rubber Bearings

Takeshi Sano, Kenji Kanazawa, Shuichi Yabana, 2009 .

FPGA-Based Object Detection for Autonomous Driving System

Moritoshi Yasunaga, Kenji Kanazawa, Kenichi Harada, 2019, 2019 International Conference on Field-Programmable Technology (ICFPT).

An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search

Moritoshi Yasunaga, Shaowei Cai, Kenji Kanazawa, 2017, CARN.

Development of an Evaluation Method for Seismic Isolation Systems of Nuclear Power Facilities: Part 7 — Breaking Test Plan and Development of Test Machine for Full-Scale Lead Rubber Bearings

Masakazu Jimbo, Kunihiko Sato, Kenji Kanazawa, 2014 .

An FPGA Solver for Very Large SAT Problems

Tsutomu Maruyama, Kenji Kanazawa, 2007, 2007 International Conference on Field Programmable Logic and Applications.

An Approach for Solving Large SAT Problems on FPGA

Tsutomu Maruyama, Kenji Kanazawa, T. Maruyama, 2010, TRETS.

STABILITY EVALUATION OF METAL CASK ATTACHED TO A TRANSFER PALLET DURING LONG-PERIOD SEISMIC MOTIONS

Koji Shirai, Kenji Kanazawa, Shohei Kawaguchi, 2012 .

Solving SAT-encoded Formal Verification Problems on SoC Based on a WSAT Algorithm with a New Heuristic for Hardware Acceleration

Tsutomu Maruyama, Kenji Kanazawa, 2013, 2013 IEEE 7th International Symposium on Embedded Multicore Socs.

High-Speed Calculation of Convex Hull in 2D Images Using FPGA

Moritoshi Yasunaga, Noriyuki Aibe, Kenji Kanazawa, 2015, PARCO.

FPGA acceleration of SAT/Max-SAT solving using variable-way cache

Tsutomu Maruyama, Kenji Kanazawa, 2014, 2014 24th International Conference on Field Programmable Logic and Applications (FPL).

Signal integrity evaluation of segmental transmission line under real-world application

Moritoshi Yasunaga, Noriyuki Aibe, Kenji Kanazawa, 2013, 2013 IEEE Electrical Design of Advanced Packaging Systems Symposium (EDAPS).

An FPGA Solver for Large SAT Problems

Tsutomu Maruyama, Kenji Kanazawa, 2006, 2006 International Conference on Field Programmable Logic and Applications.

An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA

Tsutomu Maruyama, Kenji Kanazawa, 2017, IEICE Trans. Inf. Syst..

An FPGA solver for WSAT algorithms

Tsutomu Maruyama, Kenji Kanazawa, 2005, International Conference on Field Programmable Logic and Applications, 2005..

SEISMIC TRANSIENT CHANGE OF NATURAL FREQUENCY ESTIMATION BY ADAPTIVE FILTERING SCHEME

Haruyuki Kitamura, Kenji Kanazawa, Fumio Kirita, 2008 .

An Acceleration Method for Evolutionary Systems Based on Iterated Prisoner's Dilemma

Tsutomu Maruyama, Yoshiki Yamaguchi, Kenji Kanazawa, 2007, ARC.

21295 Modal parameter transition of a law-rise building during the retrofitting works

Masashi Morimoto, Haruyuki Kitamura, Kenji Kanazawa, 2007 .

ARMAMA MODEL FOR SPECTRAL ANALYSIS AND MODAL IDENTIFICATION

Tetsuya Matsui, Kenji Kanazawa, 2002 .

Decoupling-capacitor allocation problem solved by genetic algorithm

Kenji Kanazawa, Kazuma Shibasaka, Montoshi Yasunaga, 2013, 2013 IEEE Electrical Design of Advanced Packaging Systems Symposium (EDAPS).

Ab initio fragment molecular orbital (FMO) method applied to analysis of the ligand-protein interaction in a pheromone-binding protein

Yuto Komeiji, Masami Uebayasi, Kazuo Kitaura, 2005, Comput. Biol. Chem..