Tadao Kasami

According to our database, Tadao Kasami authored at least 125 papers between 1961 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

A test pattern selection method for a joint bounded-distance and encoding-based decoding algorithm of binary codes [Transactions Letters].

Hitoshi Tokushige, Marc P. C. Fossorier, Tadao Kasami

IEEE Trans. Commun., 2010

2009

A Soft-Input and Output Iterative Bounded-Distance and Encoding-Based Decoding Algorithm for Product Codes.

Hitoshi Tokushige, Marc P. C. Fossorier, Tadao Kasami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

2007

Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code.

Kenji Yasunaga, Toru Fujiwara, Tadao Kasami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

2006

Selection of Test Patterns in an Iterative Erasure and Error Decoding Algorithm for Non-binary Block Codes.

Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling.

Yuki Kato, Hiroyuki Seki, Tadao Kasami

Proceedings of the Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms, 2006

2005

On the Generative Power of Grammars for RNA Secondary Structure.

Yuki Kato, Hiroyuki Seki, Tadao Kasami

IEICE Trans. Inf. Syst., 2005

2004

On binary images of shortened cyclic (8, 5) codes over GF(2⁸).

Hitoshi Tokushige, Takaaki Tanoue, Tadao Kasami

IEEE Commun. Lett., 2004

Subclasses of Tree Adjoining Grammar for RNA Secondary Structure.

Yuki Kato, Hiroyuki Seki, Tadao Kasami

Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms, 2004

Soft-input soft-output decoding algorithm of linear block codes based on minimum distance search.

Jun Asatani, Takuya Koumoto, Toru Fujiwara, Tadao Kasami

Proceedings of the 2004 IEEE International Symposium on Information Theory, 2004

2003

Selection Method of Test Patterns in Soft-Decision Iterative Bounded Distance Decoding Algorithms.

Hitoshi Tokushige, Takuya Koumoto, Marc P. C. Fossorier, Tadao Kasami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

Reduced Complexity Iterative Decoding Using a Sub-Optimum Minimum Distance Search.

Jun Asatani, Takuya Koumoto, Kenichi Tomita, Tadao Kasami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

2002

Asymptotic optimality of the GMD and chase decoding algorithms.

Yuansheng Tang, Toru Fujiwara, Tadao Kasami

IEEE Trans. Inf. Theory, 2002

A Soft-Decision Iterative Decoding Algorithm Using a Top-Down and Recursive Minimum Distance Search.

Jun Asatani, Kenichi Tomita, Takuya Koumoto, Toyoo Takata, Tadao Kasami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Top-down recursive maximum likelihood decoding using ordered statistic information.

Takuya Koumoto, Tadao Kasami

Proceedings of the 2002 IEEE Information Theory Workshop, 2002

On soft-decision iterative decoding algorithms by using algebraic decoding for RS codes.

Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami

Proceedings of the Global Telecommunications Conference, 2002

2001

On the binary images of (8, 5) shortened cyclic codes over GF(2⁸).

Hitoshi Tokushige, Takaaki Tanoue, Tadao Kasami

Proceedings of the Global Telecommunications Conference, 2001

Sufficient Conditions on Most Likely Local Sub-codewords in Recursive Maximum Likelihood Decoding Algorithms.

Tadao Kasami, Hitoshi Tokushige, Yuichi Kaji

Proceedings of the Applied Algebra, 2001

1999

Constructions of Generalized Concatenated Codes and Their Trellis-Based Decoding Complexity.

Robert Morelos-Zaragoza, Toru Fujiwara, Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1999

A Low-Weight Trellis-Based Iterative Soft-Decision Decoding Algorithm for Binary Linear Block Codes.

Takuya Koumoto, Toyoo Takata, Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1999

Recursive maximum likelihood decoder for high-speed satellite communication.

Morgan Hirosuke Miki, Daisuke Taki, Gen Fujita, Takao Onoye, Isao Shirakawa, Toru Fujiwara, Tadao Kasami

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes and Its Computational Complexity.

Yuansheng Tang, Tadao Kasami, Toru Fujiwara

Proceedings of the Applied Algebra, 1999

On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms.

Tadao Kasami

Proceedings of the Applied Algebra, 1999

1998

A Trellis-Based Recursive Maximum-Likelihood Decoding Algorithm for Binary Linear Block Codes.

Toru Fujiwara, Hiroshi Yamamoto, Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1998

On block-coded modulation using unequal error protection codes over Rayleigh-fading channels.

Robert Morelos-Zaragoza, Tadao Kasami, Shu Lin, Hideki Imai

IEEE Trans. Commun., 1998

1997

Soft-decision decoding of binary linear block codes based on an iterative search algorithm.

Hari T. Moorthy, Shu Lin, Tadao Kasami

IEEE Trans. Inf. Theory, 1997

The weight distributions of extended binary primitive BCH codes of length 128.

Y. Desaki, Toru Fujiwara, Tadao Kasami

IEEE Trans. Inf. Theory, 1997

On bit-error probability of a concatenated coding scheme.

Tadao Kasami, Toyoo Takata, Kouichi Yamashita, Toru Fujiwara, Shu Lin

IEEE Trans. Commun., 1997

Solving a Unification Problem under Constrained Substitutions Using Tree Automata.

Yuichi Kaji, Toru Fujiwara, Tadao Kasami

J. Symb. Comput., 1997

A secure code for recipient watermarking against conspiracy attacks by all users.

Hajime Watanabe, Tadao Kasami

Proceedings of the Information and Communication Security, First International Conference, 1997

The Split Weight (<i>w_L, w_R</i>) Enumeration of Reed-Muller Codes for <i>w_L</i> + <i>w_R</i> < 2<i>d_min</i>.

Tadao Kasami, Tsukasa Sugita, Toru Fujiwara

Proceedings of the Applied Algebra, 1997

1996

The weight distribution of the third-order Reed-Muller code of length 512.

Tsukasa Sugita, Tadao Kasami, Toru Fujiwara

IEEE Trans. Inf. Theory, 1996

A phase connection method for communication protocols.

Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami

Syst. Comput. Jpn., 1996

1995

On the Maximum Value of Aliasing Probabilities for Single Input Signature Registers.

Shou-ping Feng, Toru Fujiwara, Tadao Kasami, Kazuhiko Iwasaki

IEEE Trans. Computers, 1995

Multilevel block coded 8-PSK modulations using unequal error protection codes for the Rayleigh fading channel.

Robert Morelos-Zaragoza, Tadao Kasami, Shu Lin

Proceedings of the 6th IEEE International Symposium on Personal, 1995

1994

Suboptimum decoding of decomposable block codes.

Toyoo Takata, Yuji Yamashita, Toru Fujiwara, Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1994

An upper bound on the effective error coefficient of two-stage decoding, and good two-level decompositions of some Reed-Muller codes.

Jiantian Wu, Shu Lin, Tadao Kasami, Toru Fujiwara, Toyoo Takata

IEEE Trans. Commun., 1994

The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars.

Yuichi Kaji, Ryuchi Nakanishi, Hiroyuki Seki, Tadao Kasami

Comput. Intell., 1994

1993

Multistage decoding of multilevel block M-PSK modulation codes and its performance analysis.

Toyoo Takata, Satoshi Ujita, Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1993

On complexity of trellis structure of linear block codes.

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin

IEEE Trans. Inf. Theory, 1993

On the optimum bit orders with respect to the state complexity of trellis diagrams for binary linear codes.

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin

IEEE Trans. Inf. Theory, 1993

A translation method from natural language specifications into formal specifications using contextual dependencies.

Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars.

Hiroyuki Seki, Ryuichi Nakanishi, Yuichi Kaji, Sachiko Ando, Tadao Kasami

Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics, 1993

1992

A method for translating natural language program specifications into algebraic specifications.

Hiroyuki Seki, Tadao Kasami, Eiji Nabika, Takashi Matsumura

Syst. Comput. Jpn., 1992

A defect-tolerant design for mask ROMs.

Kazuhiko Iwasaki, Toru Fujiwara, Tadao Kasami

Proceedings of the 10th IEEE VLSI Test Symposium (VTS'92), 1992

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.

Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/.

Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami

Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

An Algebraic Method For Verifying Progress Property of Communication Protocols.

Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori

Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

On multilevel block modulation codes.

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin

IEEE Trans. Inf. Theory, 1991

On linear structure and phase rotation invariant properties of block M-PSK modulation codes.

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin

IEEE Trans. Inf. Theory, 1991

On the monotonic property of the probability of undetected error for a shortened code.

Toru Fujiwara, Tadao Kasami, Shou-ping Feng

IEEE Trans. Inf. Theory, 1991

Performance analysis of disk allocation method using error-correcting codes.

Toru Fujiwara, Minoru Ito, Tadao Kasami, Mitsuteru Kataoka, Jun Okui

IEEE Trans. Inf. Theory, 1991

On Multiple Context-Free Grammars.

Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami

Theor. Comput. Sci., 1991

The generative power of multiple context-free grammars and head grammars.

Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami

Syst. Comput. Jpn., 1991

Optimizing universal queries in relational databases.

Minoru Ito, Tadao Kasami

Syst. Comput. Jpn., 1991

1990

An error control system with multiple-stage forward error corrections.

Toyoo Takata, Toru Fujiwara, Tadao Kasami, Shu Lin

IEEE Trans. Commun., 1990

A concatenated coded modulation scheme for error control.

Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin

IEEE Trans. Commun., 1990

1989

Error detecting capabilities of the shortened Hamming codes adopted for error detection in IEEE Standard 802.3.

Toru Fujiwara, Tadao Kasami, Shu Lin

IEEE Trans. Commun., 1989

Generalized context-free grammars and multiple context-free grammars.

Tadao Kasami, Hiroyuki Seki, Mamoru Fujii

Syst. Comput. Jpn., 1989

Membership problem for head languages and multiple context-free languages.

Tadao Kasami, Hiroyuki Seki, Mamoru Fujii

Syst. Comput. Jpn., 1989

Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.

Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori

Syst. Comput. Jpn., 1989

1988

A cascaded coding scheme for error control and its performance analysis.

Tadao Kasami, Toru Fujiwara, Toyoo Takata, Shu Lin

IEEE Trans. Inf. Theory, 1988

1987

Principles of algebraic language ASL.

Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki

Syst. Comput. Jpn., 1987

Verification of progress property of algebraically specified communication protocols.

Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori

Syst. Comput. Jpn., 1987

Decision problem concerning security for cryptographic protocols.

Toru Fujiwara, Kenichi Taniguchi, Tadao Kasami

Syst. Comput. Jpn., 1987

Logical Programming for the Telegram Analysis Problem.

Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa

Comput. Lang., 1987

1986

An approximation to the weight distribution of binary primitive BCH codes with designed distances 9 and 11.

Toru Fujiwara, Toyoo Takata, Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1986

Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.

Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto

Theor. Comput. Sci., 1986

A Concatenated Coding Scheme for Error Control.

Tadao Kasami, Toru Fujiwara, Shu Lin

IEEE Trans. Commun., 1986

Compiling and Optimizing Methods for the Functional Language ASL/F.

Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami

Sci. Comput. Program., 1986

1985

A Distributed Mutual Exclusion Algorithm

Ichiro Suzuki, Tadao Kasami

ACM Trans. Comput. Syst., 1985

Coding for the binary symmetric broadcast channel with two receivers.

Tadao Kasami, Shu Lin, Victor K.-W. Wei, Saburo Yamamura

IEEE Trans. Inf. Theory, 1985

An approximation to the weight distribution of binary linear codes.

Tadao Kasami, Toru Fujiwara, Shu Lin

IEEE Trans. Inf. Theory, 1985

On the Undetected Error Probability for Shortened Hamming Codes.

Toru Fujiwara, Tadao Kasami, Atsushi Kitai, Shu Lin

IEEE Trans. Commun., 1985

Some Results on the Representative Instance in Relational Databases.

Minoru Ito, Motoaki Iwasaki, Tadao Kasami

SIAM J. Comput., 1985

Optimization of functional language ASL/F programs.

Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami

Syst. Comput. Jpn., 1985

1984

An Algebraic Specification of HDLC Procedures and Its Verification.

Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami

IEEE Trans. Software Eng., 1984

Membership Problems for Data Dependencies in Relational Expressions.

Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami

Theor. Comput. Sci., 1984

On the Probability of Undetected Error for the Maximum Distance Separable Codes.

Tadao Kasami, Shu Lin

IEEE Trans. Commun., 1984

Functional Programming and Logical Programming for the Telegram Analysis Problem.

Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami

Proceedings of the Proceedings, 1984

1983

Graph theoretic approaches to the code construction for the two-user multiple- access binary adder channel.

Tadao Kasami, Shu Lin, Victor K.-W. Wei, Saburo Yamamura

IEEE Trans. Inf. Theory, 1983

Linear block codes for error detection.

Tadao Kasami, Torleiv Kløve, Shu Lin

IEEE Trans. Inf. Theory, 1983

Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions.

Minoru Ito, Kenichi Taniguchi, Tadao Kasami

Theor. Comput. Sci., 1983

Three Measures for Synchronic Dependence in Petri Nets.

Ichiro Suzuki, Tadao Kasami

Acta Informatica, 1983

1982

An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks.

I. Suzuki, Tadao Kasami

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

Comments on 'Determining the burst-correcting limit of cyclic codes' by H. J. Matt, and J. L. Massey.

Tadao Kasami

IEEE Trans. Inf. Theory, 1981

1980

Existence of Good δ-Decodable Codes for the Two-User Multiple-Access Adder Channel.

Shu Lin, Tadao Kasami, Saburo Yamamura

IBM J. Res. Dev., 1980

1979

Decision Problems for Multivalued Dependencies in Relational Databases.

Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami

SIAM J. Comput., 1979

On equivalence of safe Petri nets.

Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami

Proceedings of the Fundamentals of Computation Theory, 1979

1978

An error correcting scheme for defective memory.

A. V. Kuznetsov, Tadao Kasami, Saburo Yamamura

IEEE Trans. Inf. Theory, 1978

Decoding of linear Delta -decodable codes for a multiple- access channel (Corresp.).

Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1978

Bounds on the achievable rates of block coding for a memoryless multiple-access channel.

Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1978

1977

Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets.

Toshiro Araki, Tadao Kasami

Theor. Comput. Sci., 1977

1976

On the Weight Enumeration of Weights Less than 2.5d of Reed-Muller Codes

Tadao Kasami, Nobuki Tokura, Saburo Azumi

Inf. Control., April, 1976

Coding for a multiple-access channel.

Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1976

Some Decision Problems Related to the Reachability Problem for Petri Nets.

Toshiro Araki, Tadao Kasami

Theor. Comput. Sci., 1976

A Result on the Equivalence Problem for Deterministic Pushdown Automata.

Kenichi Taniguchi, Tadao Kasami

J. Comput. Syst. Sci., 1976

An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts.

Kenichi Taniguchi, Tadao Kasami

Acta Informatica, 1976

1974

Construction and decomposition of cyclic codes of composite length (Corresp.).

Tadao Kasami

IEEE Trans. Inf. Theory, 1974

A Gilbert-Varshamov bound for quasi-cycle codes of rate 1/2 (Corresp.).

Tadao Kasami

IEEE Trans. Inf. Theory, 1974

Ianov Schemas Augmented by a Pushdown Memory

Nobuki Tokura, Tadao Kasami, Shukichi Furuta

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

1973

On the Capabilities of While, Repeat, and Exit Statements.

W. Wesley Peterson, Tadao Kasami, Nobuki Tokura

Commun. ACM, 1973

1972

Some results on the minimum weight of primitive BCH codes (Corresp.).

Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1972

Minimal Negative Gate Networks.

Keijiro Nakamura, Nobuki Tokura, Tadao Kasami

IEEE Trans. Computers, 1972

1971

The Weight Enumerators for Several Clauses of Subcodes of the 2nd Order Binary Reed-Muller Codes

Tadao Kasami

Inf. Control., May, 1971

Weight distribution of (128, 64) Reed-Muller code (Corresp.).

M. Sugino, Y. Ienaga, Nobuki Tokura, Tadao Kasami

IEEE Trans. Inf. Theory, 1971

On the construction of a class of majority-logic decodable codes.

Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1971

On majority-logic decoding for duals of primitive polynomial codes.

Tadao Kasami, Shu Lin

IEEE Trans. Inf. Theory, 1971

Failsafe Logic Nets.

Nobuki Tokura, Tadao Kasami, Akihiro Hashimoto

IEEE Trans. Computers, 1971

1970

Reduction of Context-Free Grammars

Kenichi Taniguchi, Tadao Kasami

Inf. Control., August, 1970

On the weight structure of Reed-Muller codes.

Tadao Kasami, Nobuki Tokura

IEEE Trans. Inf. Theory, 1970

1969

A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine

Kenichi Taniguchi, Tadao Kasami

Inf. Control., March, 1969

Some Remarks on BCH Bounds and Minimum Weights of Binary Primitive BCH Codes.

Tadao Kasami, Nobuki Tokura

IEEE Trans. Inf. Theory, 1969

An upper bound on k/n for affine-invariant codes with fixed d/n (Corresp.).

Tadao Kasami

IEEE Trans. Inf. Theory, 1969

A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars.

Tadao Kasami, Koji Torii

J. ACM, 1969

1968

Polynomial codes.

Tadao Kasami, Shu Lin, W. Wesley Peterson

IEEE Trans. Inf. Theory, 1968

New generalizations of the Reed-Muller codes-I: Primitive codes.

Tadao Kasami, Shu Lin, W. Wesley Peterson

IEEE Trans. Inf. Theory, 1968

Some lower bounds on the minimum weight of cyclic codes of composite length.

Tadao Kasami

IEEE Trans. Inf. Theory, 1968

Error-correcting codes for a compound channel.

Harry T. Hsu, Tadao Kasami, Robert T. Chien

IEEE Trans. Inf. Theory, 1968

1967

A Note on Computing Time for Recognition of Languages Generated by Linear Grammars

Tadao Kasami

Inf. Control., February, 1967

A search procedure for finding optimum group codes for the binary symmetric channel.

Nobuki Tokura, Kenichi Taniguchi, Tadao Kasami

IEEE Trans. Inf. Theory, 1967

Some Results on Cyclic Codes which Are Invariant under the Affine Group and Their Application

Tadao Kasami, Shu Lin, W. Wesley Peterson

Inf. Control., 1967

1964

Some efficient shortened cyclic codes for burst-error correction (Corresp.).

Tadao Kasami, S. Matoba

IEEE Trans. Inf. Theory, 1964

A decoding procedure for multiple-error-correcting cyclic codes.

Tadao Kasami

IEEE Trans. Inf. Theory, 1964

1963

Optimum shortened cyclic codes for burst-error correction.

Tadao Kasami

IEEE Trans. Inf. Theory, 1963

1961

Optimum linear finite-dimensional estimator of signal waveforms.

Tadao Kasami

IRE Trans. Inf. Theory, 1961