Automatic extraction of words from Chinese textual data Wang Yongcheng Regular Papers Pages: 287 - 291
The optimization of distributed join in C-POREL system Jin HongpingGu Junzhong Regular Papers Pages: 276 - 286
A Tree-structured Database Machine for large relational database systems Meng LimingXu XiaofeiLi Sheng Regular Papers Pages: 265 - 275
Throughput models of CSMA network with stations uniformly distributed along the bus S. T. ChansonL. LiangA. Kumar Regular Papers Pages: 243 - 264
On interrupt strategy from the point of view of system efficiency Shicheng ChenZhongyi Zhou OriginalPaper Pages: 217 - 225
Some mathematical properties of the functional programming language FP Hong Zhu OriginalPaper Pages: 202 - 216
Termination preserving problem in the transformation of applicative programs Yongqiang SunRuzhan LuXiaorong Huang OriginalPaper Pages: 191 - 201
Two algorithms for variable allocation in an Interpreted Scheme Lu Weiming OriginalPaper Pages: 133 - 144
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
