Shuzo Yajima

77 papers A* 13A 4B 7C 2Misc 1Journal 39Unranked 11
YearRankTypeTitle / Venue / Authors
2001 J jnl
Tree-shellability of Boolean functions.
Theor. Comput. Sci.
Yasuhiko Takenaga, Kouji Nakajima, Shuzo Yajima
2000 J jnl
Hardness of identifying the minimum ordered binary decision diagram.
Discret. Appl. Math.
Yasuhiko Takenaga, Shuzo Yajima
1998 B conf
Optimizing OBDDs Is Still Intractable for Monotone Functions.
MFCS
Kazuo Iwama, Mitsushi Nouzoe, Shuzo Yajima
1997 J jnl
Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification.
IEEE Trans. Computers
Masayuki Ito, Naofumi Takagi, Shuzo Yajima
1997 B conf
Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion.
ISAAC
Takashi Horiyama, Shuzo Yajima
1997 J jnl
O(n)-Depth Modular Exponentiation Circuit Algorithm.
IEEE Trans. Computers
Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata
1997 Misc conf
Size and Variable Ordering of OBDDs Representing Treshold Functions.
COCOON
Yasuhiko Takenaga, Mitsushi Nouzoe, Shuzo Yajima
1997 J jnl
Size of Ordered Binary Decision Diagrams Representing Threshold Functions.
Theor. Comput. Sci.
Kazuhisa Hosaka, Yasuhiko Takenaga, T. Kaneda, Shuzo Yajima
1996 J jnl
Square Rooting by Iterative Multiply-Additions.
Inf. Process. Lett.
Masayuki Ito, Naofumi Takagi, Shuzo Yajima
1995 C conf
Efficient Initial Approximation and Fast Converging Methods for Division and Square Root.
IEEE Symposium on Computer Arithmetic
Masayuki Ito, Naofumi Takagi, Shuzo Yajima
1995 A conf
Efficient construction of binary moment diagrams for verifying arithmetic circuits.
ICCAD
Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima
1995 C conf
O(n)-depth circuit algorithm for modular exponentiation.
IEEE Symposium on Computer Arithmetic
Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata
1994 J jnl
Circuit complexity of slice functions and homogeneous functions.
Syst. Comput. Jpn.
Shoichi Hirose, Shuzo Yajima
1994 J jnl
Fault simulation for multiple faults by Boolean function manipulation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima
1994 B conf
On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions.
ISAAC
Kazuhisa Hosaka, Yasuhiko Takenaga, Shuzo Yajima
1993 A conf
Breadth-first manipulation of very large binary-decision diagrams.
ICCAD
Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima
1993 B conf
The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams.
ISAAC
Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima
1992 A* conf
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.
CAV
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1992 J jnl
Infinity-Regular Temporal Logic and its Model Checking Problem.
Theor. Comput. Sci.
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1992 — conf
Linear time fault simulation algorithm using a content addressable memory.
EURO-DAC
Nagisa Ishiura, Shuzo Yajima
1992 J jnl
Modular Multiplication Hardware Algorithms with a Redundant Representation and Their Application to RSA Cryptosystem.
IEEE Trans. Computers
Naofumi Takagi, Shuzo Yajima
1991 J jnl
An on-line error-detectable high-speed array divider.
Syst. Comput. Jpn.
Naofumi Takagi, Shuzo Yajima
1991 A* conf
Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing.
DAC
Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima
1991 A conf
Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets.
ICCAD
Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima
1991 A* conf
Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.
CAV
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1991 A conf
Minimazation of Binary Decision Diagrams Based on Exchanges of Variables.
ICCAD
Nagisa Ishiura, Hiroshi Sawada, Shuzo Yajima
1991 A* conf
Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits.
DAC
Yutaka Deguchi, Nagisa Ishiura, Shuzo Yajima
1991 J jnl
Redundant CORDIC Methods with a Constant Scale Factor for Sine and Cosine Computation.
IEEE Trans. Computers
Naofumi Takagi, Tohru Asada, Shuzo Yajima
1991 A* conf
Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.
CAV
Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima
1990 A* conf
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.
CAV
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1990 — conf
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.
CAV (DIMACS/AMS volume)
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1990 A* conf
Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram.
DAC
Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima
1990 J jnl
Dynamic two-dimensional parallel simulation technique for high-speed fault simulation on a vector processor.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Nagisa Ishiura, Masayuki Ito, Shuzo Yajima
1990 A* conf
NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I.
DAC
Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima
1990 A* conf
Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.
DAC
Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima
1989 A* conf
Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits.
DAC
Nagisa Ishiura, Mizuki Takahashi, Shuzo Yajima
1988 J jnl
Algebraic Specification of Parallel Systems Based on Binary Relations between Events.
Syst. Comput. Jpn.
Shigeharu Teshima, Hiromi Hiraishi, Shuzo Yajima
1988 — conf
An on-line error-detectable array divider with a redundant binary representation and a residue code.
FTCS
Naofumi Takagi, Shuzo Yajima
1988 — conf
Parallel Computational Complexity of Logic Programs and Alternating Turing Machines.
FGCS
Yasuo Okabe, Shuzo Yajima
1987 J jnl
A hardware algorithm for computing sine and cosine using redundant binary representation.
Syst. Comput. Jpn.
Naofumi Takagi, Tohru Asada, Shuzo Yajima
1987 J jnl
Description and verification of input constraints and input-output specifications of logic circuits.
Syst. Comput. Jpn.
Shinji Kimura, Shuzo Yajima
1987 J jnl
High-Speed Logic Simulation on Vector Processors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima
1987 J jnl
On high-speed parallel algorithms using redundant coding.
Syst. Comput. Jpn.
Hiroto Yasuura, Naofumi Takagi, Shuzo Yajima
1987 J jnl
On-Line Error-Detectable High-Speed Multiplier Using Redundant Binary Representation and Three-Rail Logic.
IEEE Trans. Computers
Naofumi Takagi, Shuzo Yajima
1986 J jnl
A square root hardware algorithm using redundant binary representation.
Syst. Comput. Jpn.
Naofumi Takagi, Shuzo Yajima
1986 J jnl
Hardware algorithms for computing exponentials and logarithms using redundant binary representation.
Syst. Comput. Jpn.
Naofumi Takagi, Shuzo Yajima
1985 J jnl
High-Speed VLSI Multiplication Algorithm with a Redundant Binary Addition Tree.
IEEE Trans. Computers
Naofumi Takagi, Hiroto Yasuura, Shuzo Yajima
1984 — conf
Hardware Algorithms for VLSI Systems.
VLSI Engineering
Hiroto Yasuura, Shuzo Yajima
1982 J jnl
A Longest Common Subsequence Algorithm Suitable for Similar Text Strings.
Acta Informatica
Narao Nakatsu, Yahiko Kambayashi, Shuzo Yajima
1982 A* conf
An Interactive Simulation System for structured logic design - ISS.
DAC
Takeshi Sakai, Yoshiyuki Tsuchida, Hiroto Yasuura, Yasushi Ooi, Yoshitsugu Ono, Hiroshi Kano, Shinji Kimura, Shuzo Yajima
1982 — conf
Hardware Algorithms and Logic Design Automation. An Overview and Progress Report.
RIMS Symposium on Software Science and Engineering
Shuzo Yajima, Hiroto Yasuura
1982 — conf
Query Processing for Distributed Databases Using Generalized Semi-Joins.
SIGMOD Conference
Yahiko Kambayashi, Masatoshi Yoshikawa, Shuzo Yajima
1982 J jnl
The Parallel Enumeration Sorting Scheme for VLSI.
IEEE Trans. Computers
Hiroto Yasuura, Naofumi Takagi, Shuzo Yajima
1981 J jnl
Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh.
IEEE Trans. Pattern Anal. Mach. Intell.
Shuzo Yajima, Jan L. Goodsell, Takao Ichida, Hiromi Hiraishi
1981 — conf
Data compression procedures utilizing the similarity of data.
AFIPS National Computer Conference
Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima
1981 A* conf
Dynamic Clustering Procedures for Bibliographic Data.
SIGIR
Yahiko Kambayashi, Takaki Hayashi, Shuzo Yajima
1979 B conf
Hierarchical string pattern matching using dynamic pattern matching machines.
COMPSAC
Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima
1979 — conf
New indices for bibliographic data and their applications.
MARK
Yahiko Kambayashi, Shuzo Yajima, Osamu Konishi, Takaki Hayashi
1979 J jnl
Organization of quasi-consecutive retrieval files.
Inf. Syst.
Katsumi Tanaka, Yahiko Kambayashi, Shuzo Yajima
1979 B conf
Semantic aspects of data dependencies and their application to relational database design.
COMPSAC
Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima
1979 B conf
Use of abstracted characteristics of data in relational databases.
COMPSAC
Chung Le Viet, Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima
1978 J jnl
A Linear Storage Space Algorithm for a Reference Structure Index.
Inf. Process. Lett.
Yahiko Kambayashi, Takaki Hayashi, Y. Tanaka, Shuzo Yajima
1978 — conf
A file organization suitable for relational database operations.
Mathematical Studies of Information Processing
Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima
1978 — conf
Problems of Relational Database Design.
Data Base Design Techniques I
Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima
1977 A* conf
A Relational Data Language with Simplified Binary Relation Handling Capability.
VLDB
Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima
1977 J jnl
Labolink: An Optically Linked Laboratory Computer Network.
Computer
Shuzo Yajima, Yahiko Kambayashi, Susumu Yoshida, Kazuo Iwama
1974 J jnl
Power Minimization Problems of Logic Networks.
IEEE Trans. Computers
Shuzo Yajima, Kosaku Inagaki
1972 J jnl
Controllability of Seqential Machines
Inf. Control.
Yahiko Kambayashi, Shuzo Yajima
1972 J jnl
Finite Memory Machines Satisfying the Lower Bound of Memory
Inf. Control.
Yahiko Kambayashi, Shuzo Yajima
1971 J jnl
The Upper Bound of K in K-Lossless Sequential Machines
Inf. Control.
Yahiko Kambayashi, Shuzo Yajima
1970 J jnl
On Finite-Memory Sequential Machines.
IEEE Trans. Computers
Yahiko Kambayashi, Shuzo Yajima, Isao Ohbayashi
1970 J jnl
Two-State Two-Symbol Probabilistic Automata
Inf. Control.
Toshio Yasui, Shuzo Yajima
1969 J jnl
Some Algebraic Properties of Sets of Stochastic Matrices
Inf. Control.
Toshio Yasui, Shuzo Yajima
1968 J jnl
A Theory of Completely Monotonic Functions and its Applications to Threshold Logic.
IEEE Trans. Computers
Shuzo Yajima, Toshihide Ibaraki
1968 J jnl
On Autonomous Logic Nets of Threshold Elements.
IEEE Trans. Computers
Shuzo Yajima, Toshihide Ibaraki, I. Kawano
1968 J jnl
Realization of Arbitrary Logic Functions by Completely Monotonic Functions and Its Applications to Threshold Logic.
IEEE Trans. Computers
Shuzo Yajima, Toshihide Ibaraki
1965 J jnl
A Lower Bound of the Number of Threshold Functions.
IEEE Trans. Electron. Comput.
Shuzo Yajima, Toshihide Ibaraki