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 Hanoi4-pegrecurrence relationinteger sequence
 Summary | Full Text:PDF(145.6KB)

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 formulassatisfying assignmentscountinginclusion-exclusion
 Summary | Full Text:PDF(78.3KB)

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: 
SATCNF formulapromisesolution-densityinclusion-exclusion
 Summary | Full Text:PDF(228.7KB)

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 compressionmetric computationreconfigurable hardwarepipeline processing
 Summary | Full Text:PDF(197.7KB)

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/25
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 synthesiscommon subexpression eliminationlinear transformsmatrix decomposition
 Summary | Full Text:PDF(597.8KB)

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/25
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 multiplicationMCM problemhigh-level synthesiscommon subexpression
 Summary | Full Text:PDF(596KB)