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

A Parallel Voting Scheme for Aspect Recovery
Chen Ke, Masumi Ishikawa
1995, 10(5): 385-402.
Abstract
Interprocedural Constant Range Propagation and Alias Analysis by Multiple Version Method
Fang Xianhong, Zhang Zhaoqing, Qiao Ruliang
1995, 10(5): 403-416.
Abstract
K-Dimensional Optimal Parallel Algorithm for the Solution of a General Class of Recurrence Equations
Gao Qingshi, Liu Zhiyong
1995, 10(5): 417-424.
Abstract
Logical Object as a Basis of Knowledge Based Systems
Xu Dianxiang, Zheng Guoliang
1995, 10(5): 425-438.
Abstract
Minimal Model Semantics for Sorted Constraint Representation
Liao Lejian, Shi Zhongzhi
1995, 10(5): 439-446.
Abstract
ICTSSE: An Object-Oriented IC Test Software Supporting Environment
Sun Yuning, Wang Xiaoming, Shi Wanchun
1995, 10(5): 447-454.
Abstract
Transformation List for SGML Application
Gao Hong
1995, 10(5): 455-462.
Abstract
A General Architecture Model of CPDL Interpreter
Xu Fupei, Luo Chi, Jin Yadong
1995, 10(5): 463-469.
Abstract
A Unified O(log N) and Optimal Sorting Vector Algorithm
Gao Qingshi
1995, 10(5): 470-475.
Abstract
Shared Variable Oriented Parallel Precompiler for SPMD Model
Kang Jichang, Zhu Yi'an, Hong Yuanlin, Ying Bishan
1995, 10(5): 476-480.
Abstract
Current Issue Cover