Akihiro MATSUURA

Analysis of Recurrence Relations Generalized from the 4-Peg Tower of Hanoi
Akihiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/02/01
Vol. E94-D  No. 2  pp. 220-225
Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science -- Mathematical Foundations and Applications of Algorithms and Computer Science --)
Category: 
Keyword: 
Tower of Hanoi,  4-peg,  recurrence relation,  integer sequence, 
  Summary |  Full Text:PDF
A Note on Approximating Inclusion-Exclusion for k-CNF Formulas
Akihiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/01/01
Vol. E88-D  No. 1  pp. 100-102
Type of Manuscript: Special Section LETTER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
k-CNF formulas,  satisfying assignments,  counting,  inclusion-exclusion, 
  Summary |  Full Text:PDF
Solving SAT Efficiently with Promises
Kazuo IWAMA  Akihiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2  pp. 213-218
Type of Manuscript: Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Turing Machine, Recursive Functions
Keyword: 
SAT,  CNF formula,  promise,  solution-density,  inclusion-exclusion, 
  Summary |  Full Text:PDF
An Efficient Implementation Method of a Metric Computation Accelerator for Fractal Image Compression Using Reconfigurable Hardware
Hidehisa NAGANO  Akihiro MATSUURA  Akira NAGOYA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/01/01
Vol. E84-A  No. 1  pp. 372-377
Type of Manuscript: LETTER
Category: VLSI Design Technology and CAD
Keyword: 
fractal image compression,  metric computation,  reconfigurable hardware,  pipeline processing, 
  Summary |  Full Text:PDF
Bit and Word-Level Common Subexpression Elimination for the Synthesis of Linear Computations
Akihiro MATSUURA  Akira NAGOYA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/03/20
Vol. E81-A  No. 3  pp. 455-461
Type of Manuscript: Special Section PAPER (Special Section of Selected Papers from the 10th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
high-level synthesis,  common subexpression elimination,  linear transforms,  matrix decomposition, 
  Summary |  Full Text:PDF
A Hierarchical Clustering Method for the Multiple Constant Multiplication Problem
Akihiro MATSUURA  Mitsuteru YUKISHITA  Akira NAGOYA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/10/20
Vol. E80-A  No. 10  pp. 1767-1773
Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
constant multiplication,  MCM problem,  high-level synthesis,  common subexpression, 
  Summary |  Full Text:PDF