スポンサーリンク
Department Of Information Science Facu1ty Of Engineering Kyoto University | 論文
- A Computer Communication Control Technique for Virtualization of Network Memory Resources and Its Implementation
- Regular Temporal Logic Expressively Equivalent to Finite Automata and Its Application to Logic Design Verification
- Locally Exhaustive Testing of Combinational Circuits Using Linear Logic Circuits
- Minimum One-Shot State Assignment for Asynchronous Sequential Machines Using BDD
- The Complexity of the Optimal Variable Ordering Problems of a Shared Binary Decision Diagram
- A Raster-scan Computer Graphic Display Device Having Random-scan Functions with Color Specifying Light Pen Facility
- Combinatorial Algorithms Using Boolean Processing
- Minimum Single Transition-Time Assignments for Asynchronous Sequential Circuits Using BDD