Publication 2010

• T. Sasao and J. T. Butler, (ed) "Progress in Applications of Boolean Functions," Morgan & Claypool Publishers, Jan 2010. pp.1-153. (Digital Circuits & Systems Series) PDF
• C. L. Frenzen, T. Sasao, and J. T. Butler, On the number of segments needed in a piecewise linear approximation, Jour. of Computational and Applied Mathematics. Volume 234, Issue 2, 15 May 2010, pp. 437-446. PDF
• S. Nagayama, T. Sasao and J. T. Butler, "Programmable Architectures and design methods for two-variable numeric function generators," IPSJ Transactions on System LSI Design Methodology, Vol. 3, pp.118-129, Feb. 2010. PDF
• S. Nagayama, T. Sasao and J. T. Butler, "Floating-point numeric function generators based on piecewise-split EVMDDs," International Symposium on Multiple-Valued Logic, Barcelona, Spain, May 26-28, 2010, pp.223-228. PDF
• H. Nakahara, T. Sasao and M. Matsuura, "A comparison of architectures for various decision diagram machines," International Symposium on Multiple-Valued Logic, Barcelona, Spain, May 26-28, 2010, pp.229-234. PDF
• T. Sasao, "On the number of products to represent interval functions by SOPs with four-valued variables," International Symposium on Multiple-Valued Logic, Barcelona, Spain, May 26-28, 2010, pp.282-287. PDF
• T. Sasao, H. Nakahara, K. Matsuura, Y. Kawamura, and J.T. Butler, "A quaternary decision diagram machine: Optimization of its code," IEICE Transactions on Information and Systems, Vol. E93-D No. 8 pp. 2026-2035 PDF
• H. Nakahara, T. Sasao, M. Matsuura, and Y. Kawamura, "A parallel branching program machine for sequential circuits: Implementation and evaluation," IEICE Transactions on Information and Systems, Vol. E93-D No. 8 pp. 2048-2058. PDF
• S. Nagayama, T. Sasao and J. T. Butler, "Systematic design method for two-variable numeric function generators using multiple-valued decision diagrams," IEICE Transactions on Information and Systems, Vol. E93-D No. 8 pp. 2059-2067 PDF
• T. Sasao, M. Matsuura and H. Nakahara, "A realization of index generation functions using modules of uniform sizes," 19th International Workshop on Logic and Synthesis (IWLS-2010), June 18-20, 2010, pp.201-208. PDF
• H. Nakahara, T. Sasao, and M. Matsuura, "A regular expression matching using non-deterministic finite automaton," Proc. of Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (MEMOCODE-2010) Grenoble, France, July 26-28, 2010, pp.73-76. PDF
• H. Nakahara, T. Sasao, and M. Matsuura, "Packet classifier using a parallel branching program machine," 13th EUROMICRO Conference on Digital System Design (DSD-2010) Lille, France, Sept. 1-3, 2010. PDF
• T. Sasao, "On the numbers of variables to represent multi-valued incompletely specified functions," 13th EUROMICRO Conference on Digital System Design (DSD-2010) Lille, France, Sept. 1-3, 2010. PDF