We use cookies to improve your experience with our site.
Advanced Search

A Structured Temporal Logic Language:XYZ/SE
Xie Hongliang, Gong Jie, C.S.Tang
1991, 6(1): 1-10.
Abstract
Abstract Implementation of Algebraic Specifications in a Temporal Logic Language
Lin Huimin, Gong Chun, Xie Hongliang
1991, 6(1): 11-20.
Abstract
Semantic Specification and Verification of Data Flow Diagrams
Liu Tong, C.S.Tang
1991, 6(1): 21-31.
Abstract
Design of Quaternary ECL Q Gate
Zhuang Nan
1991, 6(1): 32-36.
Abstract
Standard-Cell Placement from Functional Descriptions
Klaus Buchenrieder
1991, 6(1): 37-46.
Abstract
A Knowledge-Based Approach to Program Synthesis from Examples
Zhu Hong, Jin Lingzi
1991, 6(1): 47-58.
Abstract
A Common Reasoning Model and Its Application in Knowledge-Based System
Zheng Fangqing
1991, 6(1): 59-65.
Abstract
Improvements to the Control Techniques of Sequential Inference Machines——from Instructions to Hardware Organization
Xing Hancheng, Li Chunlin, Xing Dongsheng
1991, 6(1): 66-73.
Abstract
A Complete Critical Path Algorithm for Test Generation of Combinational Circuits
Zhou Quan, Wei Daozheng
1991, 6(1): 74-82.
Abstract
On the Characterization and Fault Identification of Sequentially t-Diagnosable System Under PMC Model
Guo Hengchang
1991, 6(1): 83-90.
Abstract
A Fast Algorithm for Polygon Operations
Cai Shijie, Zhang Fuyan
1991, 6(1): 91-96.
Abstract
TST——An Algorithm for Global Microcode Compaction with Timing Constraints
Su Bogong, Wang Jian, Xia Jinshi
1991, 6(1): 97-107.
Abstract
Construction of the Model of the Lambda Calculus System with Algebraic Operators
Lu Ruzhan, Zhang Zheng, Sun Yongqiang
1991, 6(1): 108-112.
Abstract