On Parallel Computation Time of Unification for Restricted Terms

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Yasuura Hiroto

  Faculty Of Engineering Kyoto University

• YAJIMA Shuzo

  Faculty of Information Science, Kyoto University

• Yajima Shuzo

  Faculty Of Engineering Kyoto University

• OHKUBO Masaaki

  Faculty of Engineering, KYOTO University

• Ohkubo Masaaki

  Faculty Of Engineering Kyoto University

関連論文

• Computational Power of Nondeterministic Ordered Binary Decision Diagrams and Their Subclasses (Special Section on Discrete Mathematics and Its Applications)
• A Bit-Parallel Block-Parallel Functional Memory Type Parallel Processor Architecture (Special Issue on New Architecture LSIs)
• Formal Design Verification of Combinational Circuits Specified by Recurrence Equations (Special Issue on Synthesis and Verification of Hardware Design)
• A Multi-Application Smart Card System with Authentic Post-Issuance Program Modification
• Computational Complexity of Manipulating Binary Decision Diagrams
• On Parallel Computation Time of Unification for Restricted Terms
• On the Computational Power of Binary Decision Diagrams
• Hardware Algorithms and Logic Design Automation : An Overview and Progress Report
• Area-Time Efficient Evaluation of Elementary Functions
• Exponential Lower Bounds on the Size of Variants of OBDD Representing Integer Division
• Compaction of Test Sets for Combinatinal Circuits Based on Symbolic Fault Simulation (Special Issue on Synthesis and Verification of Hardware Design)

もっと見る 閉じる

スポンサーリンク