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