Shuzo Yajima

According to our database, Shuzo Yajima authored at least 76 papers between 1965 and 2001.

Collaborative distances:

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

2001

Tree-shellability of Boolean functions.

Yasuhiko Takenaga, Kouji Nakajima, Shuzo Yajima

Theor. Comput. Sci., 2001

2000

Hardness of identifying the minimum ordered binary decision diagram.

Yasuhiko Takenaga, Shuzo Yajima

Discret. Appl. Math., 2000

1998

Optimizing OBDDs Is Still Intractable for Monotone Functions.

Kazuo Iwama, Mitsushi Nouzoe, Shuzo Yajima

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Size of Ordered Binary Decision Diagrams Representing Threshold Functions.

Kazuhisa Hosaka, Yasuhiko Takenaga, T. Kaneda, Shuzo Yajima

Theor. Comput. Sci., 1997

Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification.

Masayuki Ito, Naofumi Takagi, Shuzo Yajima

IEEE Trans. Computers, 1997

O(n)-Depth Modular Exponentiation Circuit Algorithm.

Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata

IEEE Trans. Computers, 1997

Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion.

Takashi Horiyama, Shuzo Yajima

Proceedings of the Algorithms and Computation, 8th International Symposium, 1997

Size and Variable Ordering of OBDDs Representing Treshold Functions.

Yasuhiko Takenaga, Mitsushi Nouzoe, Shuzo Yajima

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

1996

Square Rooting by Iterative Multiply-Additions.

Masayuki Ito, Naofumi Takagi, Shuzo Yajima

Inf. Process. Lett., 1996

1995

Efficient construction of binary moment diagrams for verifying arithmetic circuits.

Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Efficient Initial Approximation and Fast Converging Methods for Division and Square Root.

Masayuki Ito, Naofumi Takagi, Shuzo Yajima

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

O(n)-depth circuit algorithm for modular exponentiation.

Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

1994

Fault simulation for multiple faults by Boolean function manipulation.

Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

Circuit complexity of slice functions and homogeneous functions.

Shoichi Hirose, Shuzo Yajima

Syst. Comput. Jpn., 1994

On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions.

Kazuhisa Hosaka, Yasuhiko Takenaga, Shuzo Yajima

Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

1993

The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams.

Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima

Proceedings of the Algorithms and Computation, 4th International Symposium, 1993

Breadth-first manipulation of very large binary-decision diagrams.

Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

1992

Infinity-Regular Temporal Logic and its Model Checking Problem.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Theor. Comput. Sci., 1992

Modular Multiplication Hardware Algorithms with a Redundant Representation and Their Application to RSA Cryptosystem.

Naofumi Takagi, Shuzo Yajima

IEEE Trans. Computers, 1992

Linear time fault simulation algorithm using a content addressable memory.

Nagisa Ishiura, Shuzo Yajima

Proceedings of the conference on European design automation, 1992

Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

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

1991

Redundant CORDIC Methods with a Constant Scale Factor for Sine and Cosine Computation.

Naofumi Takagi, Tohru Asada, Shuzo Yajima

IEEE Trans. Computers, 1991

An on-line error-detectable high-speed array divider.

Naofumi Takagi, Shuzo Yajima

Syst. Comput. Jpn., 1991

Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets.

Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Minimazation of Binary Decision Diagrams Based on Exchanges of Variables.

Nagisa Ishiura, Hiroshi Sawada, Shuzo Yajima

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing.

Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima

Proceedings of the 28th Design Automation Conference, 1991

Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits.

Yutaka Deguchi, Nagisa Ishiura, Shuzo Yajima

Proceedings of the 28th Design Automation Conference, 1991

Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.

Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Dynamic two-dimensional parallel simulation technique for high-speed fault simulation on a vector processor.

Nagisa Ishiura, Masayuki Ito, Shuzo Yajima

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.

Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I.

Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram.

Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits.

Nagisa Ishiura, Mizuki Takahashi, Shuzo Yajima

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988

Algebraic Specification of Parallel Systems Based on Binary Relations between Events.

Shigeharu Teshima, Hiromi Hiraishi, Shuzo Yajima

Syst. Comput. Jpn., 1988

An on-line error-detectable array divider with a redundant binary representation and a residue code.

Naofumi Takagi, Shuzo Yajima

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

Parallel Computational Complexity of Logic Programs and Alternating Turing Machines.

Yasuo Okabe, Shuzo Yajima

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

High-Speed Logic Simulation on Vector Processors.

Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987

On-Line Error-Detectable High-Speed Multiplier Using Redundant Binary Representation and Three-Rail Logic.

Naofumi Takagi, Shuzo Yajima

IEEE Trans. Computers, 1987

On high-speed parallel algorithms using redundant coding.

Hiroto Yasuura, Naofumi Takagi, Shuzo Yajima

Syst. Comput. Jpn., 1987

A hardware algorithm for computing sine and cosine using redundant binary representation.

Naofumi Takagi, Tohru Asada, Shuzo Yajima

Syst. Comput. Jpn., 1987

Description and verification of input constraints and input-output specifications of logic circuits.

Shinji Kimura, Shuzo Yajima

Syst. Comput. Jpn., 1987

1986

Hardware algorithms for computing exponentials and logarithms using redundant binary representation.

Naofumi Takagi, Shuzo Yajima

Syst. Comput. Jpn., 1986

A square root hardware algorithm using redundant binary representation.

Naofumi Takagi, Shuzo Yajima

Syst. Comput. Jpn., 1986

1985

High-Speed VLSI Multiplication Algorithm with a Redundant Binary Addition Tree.

Naofumi Takagi, Hiroto Yasuura, Shuzo Yajima

IEEE Trans. Computers, 1985

1984

Hardware Algorithms for VLSI Systems.

Hiroto Yasuura, Shuzo Yajima

Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984

1982

The Parallel Enumeration Sorting Scheme for VLSI.

Hiroto Yasuura, Naofumi Takagi, Shuzo Yajima

IEEE Trans. Computers, 1982

A Longest Common Subsequence Algorithm Suitable for Similar Text Strings.

Narao Nakatsu, Yahiko Kambayashi, Shuzo Yajima

Acta Informatica, 1982

Query Processing for Distributed Databases Using Generalized Semi-Joins.

Yahiko Kambayashi, Masatoshi Yoshikawa, Shuzo Yajima

Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, 1982

Hardware Algorithms and Logic Design Automation. An Overview and Progress Report.

Shuzo Yajima, Hiroto Yasuura

Proceedings of the RIMS Symposium on Software Science and Engineering, 1982

An Interactive Simulation System for structured logic design - ISS.

Takeshi Sakai, Yoshiyuki Tsuchida, Hiroto Yasuura, Yasushi Ooi, Yoshitsugu Ono, Hiroshi Kano, Shinji Kimura, Shuzo Yajima

Proceedings of the 19th Design Automation Conference, 1982

1981

Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh.

Shuzo Yajima, Jan L. Goodsell, Takao Ichida, Hiromi Hiraishi

IEEE Trans. Pattern Anal. Mach. Intell., 1981

Dynamic Clustering Procedures for Bibliographic Data.

Yahiko Kambayashi, Takaki Hayashi, Shuzo Yajima

Proceedings of the Theoretical Issues in Information Retrieval, Proceedings of the Fourth International Conference on Information Storage and Retrieval, Oakland, California, USA, May 31, 1981

Data compression procedures utilizing the similarity of data.

Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1979

Organization of quasi-consecutive retrieval files.

Katsumi Tanaka, Yahiko Kambayashi, Shuzo Yajima

Inf. Syst., 1979

New indices for bibliographic data and their applications.

Yahiko Kambayashi, Shuzo Yajima, Osamu Konishi, Takaki Hayashi

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

Use of abstracted characteristics of data in relational databases.

Chung Le Viet, Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

Semantic aspects of data dependencies and their application to relational database design.

Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

Hierarchical string pattern matching using dynamic pattern matching machines.

Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1978

A Linear Storage Space Algorithm for a Reference Structure Index.

Yahiko Kambayashi, Takaki Hayashi, Y. Tanaka, Shuzo Yajima

Inf. Process. Lett., 1978

A file organization suitable for relational database operations.

Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima

Proceedings of the Mathematical Studies of Information Processing, 1978

Problems of Relational Database Design.

Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima

Proceedings of the Data Base Design Techniques I: Requirements and Logical Structures, 1978

1977

Labolink: An Optically Linked Laboratory Computer Network.

Shuzo Yajima, Yahiko Kambayashi, Susumu Yoshida, Kazuo Iwama

Computer, 1977

A Relational Data Language with Simplified Binary Relation Handling Capability.

Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima

Proceedings of the Third International Conference on Very Large Data Bases, 1977

1974

Power Minimization Problems of Logic Networks.

Shuzo Yajima, Kosaku Inagaki

IEEE Trans. Computers, 1974

1972

Controllability of Seqential Machines

Yahiko Kambayashi, Shuzo Yajima

Inf. Control., November, 1972

Finite Memory Machines Satisfying the Lower Bound of Memory

Yahiko Kambayashi, Shuzo Yajima

Inf. Control., March, 1972

1971

The Upper Bound of K in K-Lossless Sequential Machines

Yahiko Kambayashi, Shuzo Yajima

Inf. Control., December, 1971

1970

Two-State Two-Symbol Probabilistic Automata

Toshio Yasui, Shuzo Yajima

Inf. Control., May, 1970

On Finite-Memory Sequential Machines.

Yahiko Kambayashi, Shuzo Yajima, Isao Ohbayashi

IEEE Trans. Computers, 1970

1969

Some Algebraic Properties of Sets of Stochastic Matrices

Toshio Yasui, Shuzo Yajima

Inf. Control., April, 1969

1968

On Autonomous Logic Nets of Threshold Elements.

Shuzo Yajima, Toshihide Ibaraki, I. Kawano

IEEE Trans. Computers, 1968

Realization of Arbitrary Logic Functions by Completely Monotonic Functions and Its Applications to Threshold Logic.

Shuzo Yajima, Toshihide Ibaraki

IEEE Trans. Computers, 1968

A Theory of Completely Monotonic Functions and its Applications to Threshold Logic.

Shuzo Yajima, Toshihide Ibaraki

IEEE Trans. Computers, 1968

1965

A Lower Bound of the Number of Threshold Functions.

Shuzo Yajima, Toshihide Ibaraki

IEEE Trans. Electron. Comput., 1965