A general and formal method for the program static analysis Hou Luoming OriginalPaper Pages: 115 - 123
Three-valued diagnosable systems: Diagnosability, optimal design and fault identification algorithm Huang Kaiyuan OriginalPaper Pages: 99 - 114
A routing algorithm for distributed optimal double loop computer networks Li Layuan OriginalPaper Pages: 92 - 98
Proof techniques for port-directed communication and broadcast Jin ZhiquanA. Silberschatz OriginalPaper Pages: 81 - 91
An interactive system SDI on microcomputer Zhong RenbaoXing LinRen Zhaoyang OriginalPaper Pages: 64 - 71
Simplification of multivalued sequential SULM network by using cascade decomposition Xu Xiaoshu OriginalPaper Pages: 84 - 95
A computer system for Chinese character speech input Huang XuedongCai LianhongJiang Li OriginalPaper Pages: 75 - 83
Generalized parallel signature analyzers with external exclusive-OR gates Shen LiStephen Y. H. Su OriginalPaper Pages: 49 - 61
The design and implementation of the syntax-directed editor generator (SEG) Zheng GuoliangLi Hui OriginalPaper Pages: 39 - 48
A substitution based model for the implementation of PROLOG Chen ZhaoxiongGao Qingshi OriginalPaper Pages: 17 - 26
An effective test generation algorithm for combinational circuits Wang JianchaoWei Daozheng OriginalPaper Pages: 1 - 16
On the structure of (weak) inverses of an (weakly) invertible finite automaton Shihua Chen OriginalPaper Pages: 92 - 100
Some covering problems and their solutions in automatic logic synthesis systems Liu MingyeHong Enyu OriginalPaper Pages: 83 - 92
On the structure of finite automata of whichM′ is an (weak) inverse with delay τ Chen Shihua OriginalPaper Pages: 54 - 59
A structural operational semantics for an Edison like language (2) Li Wei OriginalPaper Pages: 42 - 53
A recovery technique for distributed communicating process systems Zhou Di OriginalPaper Pages: 32 - 41
A high resolution Chinese character generator Wang XuanLü ZhiminXiang Yang OriginalPaper Pages: 1 - 14
ISOETRP clustering algorithm and its application to tree classifier design Wang Qingren OriginalPaper Pages: 70 - 85
A structural operational semantics for an Edison-like language (1) Li Wei OriginalPaper Pages: 51 - 60
Architecture of the synchronous dataflow system SDS-1 Liu GuizhongCi Yungui OriginalPaper Pages: 19 - 25
Two varieties of finite automaton public key cryptosystem and digital signatures Tao RenjiChen Shihua OriginalPaper Pages: 9 - 18
