Search Results1-20 of  26

  • 1 / 2
  • YAJIMA Shuzo ID: 9000004491192

    Articles in CiNii:1

    • Minimum One-Shot State Assignment Using SBDD (1992)
  • Shuzo Yajima ID: 9000347530119

    Articles in CiNii:1

    • On the Improvement of Physical Binary Random Numbers and Its Effectiveness (1971)
  • Shuzo Yajima ID: 9000004146741

    Department of Information Science, Faculty of Engineering, Kyoto University (1994 from CiNii)

    Articles in CiNii:7

    • A Computer Communication Control Technique for Virtualization of Network Memory Resources and Its Implementation (1981)
    • A Raster-scan Computer Graphic Display Device Having Random-scan Functions with Color Specifying Light Pen Facility (1982)
    • Locally Exhaustive Testing of Combinational Circuits Using Linear Logic Circuits (1988)
  • YAJIMA SHUZO ID: 9000024222753

    Articles in CiNii:1

    • A New Automaton Model Suitable for Maximal Common Substring Computation and Its Application to Data Compression (Mathematical Studies of Information Processing) (1982)
  • YAJIMA Shuzo ID: 9000000596567

    the Faculty of Engineering, Kyoto University (1992 from CiNii)

    Articles in CiNii:1

    • Computational Power of Memory-Based Parallel Computation Models with Communication (1992)
  • YAJIMA Shuzo ID: 9000004790300

    the Faculty of Informatics, Kansai University (1997 from CiNii)

    Articles in CiNii:1

    • Manipulation of Large-Scale Polynomials Using BMDs (1997)
  • YAJIMA Shuzo ID: 9000004802421

    Faculty of Engineering, Kyoto University (1996 from CiNii)

    Articles in CiNii:1

    • Formal Design Verification of Combinational Circuits Specified by Recurrence Equations (1996)
  • YAJIMA Shuzo ID: 9000004802755

    Department of Information Science, kyoto University (1996 from CiNii)

    Articles in CiNii:1

    • The Complexity of the Optimal Variable Ordering Problems of a Shared Binary Decision Diagram (1996)
  • YAJIMA Shuzo ID: 9000004805257

    Faculty of Informatics, Kansai University (1998 from CiNii)

    Articles in CiNii:1

    • Exponential Lower Bounds on the Size of Variants of OBDD Representing Integer Division (1998)
  • YAJIMA Shuzo ID: 9000004892672

    Faculty of Information Science, Kyoto University (1997 from CiNii)

    Articles in CiNii:1

    • Computational Power of Nondeterministic Orderd Binary Decision Diagrams and Their Subclasses (1997)
  • YAJIMA Shuzo ID: 9000004999276

    Department of Information Science, Faculty of Engineering, Kyoto University (1994 from CiNii)

    Articles in CiNii:2

    • A High-Speed Square-Rooting Algorithm Using Continued Fractions (1994)
    • Boolean Functions Represented by Polynomial Size OBDDs with Quantified Variables (1994)
  • YAJIMA Shuzo ID: 9000006121636

    関西大学総合情報学部 (2005 from CiNii)

    Articles in CiNii:1

    • Origins of Computers and Evolutions of Information Technology (2005)
  • YAJIMA Shuzo ID: 9000006452516

    Faculty of Engineering, Kyoto University (1988 from CiNii)

    Articles in CiNii:1

    • Area-Time Efficient Evaluation of Elementary Functions (1988)
  • YAJIMA Shuzo ID: 9000006500704

    Faculty of Engineering, KYOTO University (1987 from CiNii)

    Articles in CiNii:1

    • On Parallel Computation Time of Unification for Restricted Terms (1987)
  • YAJIMA Shuzo ID: 9000006621275

    Faculty of Engineering, Kyoto University (1983 from CiNii)

    Articles in CiNii:1

    • Hardware Algorithms and Logic Design Automation : An Overview and Progress Report (1983)
  • YAJIMA Shuzo ID: 9000022440201

    Articles in CiNii:1

    • A Class of Logic Functions Expressible by Polynomial-Size Binary Decision Diagrams (1991)
  • Yajima Shuzo ID: 1000020025901

    Graduate School of Informatics, Kansai University (2007 from CiNii)

    Articles in CiNii:176

    • Regular Temporal Logic Expressively Equivalent to Finite Automata and Its Application to Logic Design Varification (1992)
    • 節展開法を用いた論理関数の主項の生成 (1979)
    • 非同期調停回路の非同期回路理論の立場からの合成法 (1978)
  • Yajima Shuzo ID: 9000002614583

    関西大学総合情報学部 (2001 from CiNii)

    Articles in CiNii:1

    • 日米3大学衛星・インターネット遠隔共同セミナーの概要 : ITの未来像を描く (2001)
  • Yajima Shuzo ID: 9000002758131

    関西大学総合情報学部 (2000 from CiNii)

    Articles in CiNii:1

    • Proposing a Multi-lingual Translation Scheme Utilizing the Extensible Markup Language XML (2000)
  • Yajima Shuzo ID: 9000004800977

    Faculty of Engineering, Kyoto University (1994 from CiNii)

    Articles in CiNii:1

    • On the Computational Power of Binary Decision Diagrams (1994)
  • 1 / 2
Page Top