Volume 6,Issue zk,1995 Table of Contents
SYMBOLIC BISIMULATION FOR VALUE—PASSING PROCESSESLin Huimin1995,6(zk):1-9 [Abstract(3403)] [View PDF(3827)484.37 K]THE INTERPROCEDUAL DATA—FLOW ANALYSIS WITH ARRAY REFERENCEJi Xiaomei,Zhang Zhaoqing,Qiao Ruliang and Li Jie1995,6(zk):10-17 [Abstract(3211)] [View PDF(3533)422.41 K]DDD——AN OBJECT—ORIENTED METHODOLOGY FOR MIS DEVELOPMENTZhuge Hai1995,6(zk):18-27 [Abstract(2648)] [View PDF(3894)585.75 K]KNOWLEDGE—BASED DATA AUTOMATIC DISTRIBUTION MODELYang Li,Ge Jianxin and He Zhijun1995,6(zk):28-35 [Abstract(3101)] [View PDF(3633)563.67 K]LEAST SQUARE HIGH ORDER ASSOCIATIVE MEMORYChen Songcan and Chen Dejian1995,6(zk):36-39 [Abstract(2906)] [View PDF(3592)247.79 K]INCREMENTAL EXPLANATION—BASED LEARNING ALGORITHM EBG—PLUSHao Jigang and Shi Chunyi1995,6(zk):40-45 [Abstract(3125)] [View PDF(3295)403.74 K]ALLOCATION AND ITS MODELSu Ming,Xue Hongxi and Hong Xianlong1995,6(zk):46-51 [Abstract(3115)] [View PDF(3661)384.48 K]PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCESLiu Jiren and Du Jun1995,6(zk):52-58 [Abstract(2832)] [View PDF(3967)475.17 K]HIERARCHICAL MODELING AND PERFORMANCE EVALUATIoN OF STOCHASTIC HIGH—LEVEL PETRE NETSLin Chuang,Wu Jianping and Wang Dingxing1995,6(zk):59-67 [Abstract(3130)] [View PDF(3349)556.96 K]AN EFFICIENT FEED—THROUGH ASSIGNMENT ALGORITHM FOR GATE ARRAY AND STANDARD CELL LAYOUTHong Xianlong and Huang Jin1995,6(zk):68-77 [Abstract(2877)] [View PDF(3503)594.54 K]THE LEXICAL SEMANTIC DRIVING ALGORITHM BASED ON THE COLLOCATION DICTlONARYTang Hongying and Yao Tianshun1995,6(zk):78-85 [Abstract(2828)] [View PDF(3618)552.17 K]RESEARCH AND IMPLEMENTATION OF OBJECT—ORIENTED TESTING TOOL FOR PROLOG PROGRAMWang Lei and Hou Guangde1995,6(zk):86-93 [Abstract(2980)] [View PDF(3606)514.06 K]THE RESEARCH AND IMPLEMENTATION oF AGENT COMMUNICATIVE PRIMITIVE BASE SYSTEMZhou Li,Wu Quanyuan and Chen Huowang1995,6(zk):94-99 [Abstract(3373)] [View PDF(3645)415.09 K]ON THE SECURITY OF THE MCELIECE'S PUBLIC KEY CRYPTOSYSTEMLong Yonghong1995,6(zk):100-103 [Abstract(2912)] [View PDF(3333)258.27 K]MIDS P++LANGUAGEChe Dunren and Mai Zhongfan1995,6(zk):104-111 [Abstract(2787)] [View PDF(3382)486.27 K]RAM ASSOCIATIVE MEMORY WITH THE NoNLINEAR MAPPING ABILITYChen Songean1995,6(zk):112-117 [Abstract(2843)] [View PDF(3551)324.93 K]A HIERARCHY—BASED HYPERMEDIA AUTHORING SYSTEMYang Deshun and Wang Wenqing1995,6(zk):118-123 [Abstract(3148)] [View PDF(3690)409.30 K]USING SUPERCOMPILING TECHNIQUES TO OPTIMIZE SEQUENTIAL PROGRAMSZhang Zhaoqing and Qiao Ruliang1995,6(zk):124-131 [Abstract(3163)] [View PDF(3762)486.05 K]ON TWO TYPES NEW ACCEPTANCE CONDITlON OF ω-FINITE STATE AUTOMATAZhou Wenjun and Su Jinxiang1995,6(zk):132-137 [Abstract(3077)] [View PDF(3443)361.69 K]DECOMPOSED SOFTWARE PIPELINING:A NEW APPROACH TO EXPLOIT INSTRUCTION LEVEL PARALLELISM FOR LOOP PROGRAMSTang Zhizhong,Zhang Chihong and Wang Jian1995,6(zk):138-147 [Abstract(2847)] [View PDF(3470)600.66 K]A NEW APPROACH OF INSTRUCTIoN—LEVEL OPTIMIZATION OF LOOPS WITH CONDITIONAL JUMPSTang Zhizhong,Zhang Chihong and Wang Jian1995,6(zk):148-156 [Abstract(2844)] [View PDF(3768)561.11 K]ω—POWER CONTEXT—FREE LANGUAGES AND THEIR CLOSURE PROPERTIESGuo Qingquan1995,6(zk):157-161 [Abstract(2977)] [View PDF(3087)288.44 K]THE IMPLEMENTATION OF PERSISTENT OBJECT IN JB2 SYSTEMLiu Junfei,Shao Weizhong and Yang Fuqing1995,6(zk):162-169 [Abstract(3036)] [View PDF(3369)522.67 K]A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMSXu Jianli and Zhou Longxiang1995,6(zk):170-181 [Abstract(3085)] [View PDF(3817)764.11 K]THE STATIC ANALYSIS FOR CONCURRENT PROGRAMS BY FLOWCHARTMa Jun and Ma Shaohan1995,6(zk):182-186 [Abstract(3434)] [View PDF(4652)308.36 K]GENERAL INHERITANCE AND ITS IMPLEMENTATION IN OBJECT—ORIENTED PROGRAMMING LANG UAGESLi Xuandong and Zheng Guoliang1995,6(zk):187-193 [Abstract(2753)] [View PDF(3724)471.59 K]DESIGN SCHEME OF KNOWLEDGE—BASED COMPUTER—AIDED EXAM—PAPER FORMATION SYSTEMLin Fuhua,Chen Guangzhong,Hong Chaoxing and Wang Guoqiang1995,6(zk):194-201 [Abstract(3637)] [View PDF(3683)521.04 K]AN OBJECT—ORIENTED ARCHITECTURE MODEL FOR MANAGEMENT INFORMATION SYSTEMWang Lifu,Yi Xiaoyong and Yang Fuqing1995,6(zk):202-206 [Abstract(2815)] [View PDF(3890)365.64 K]A FORMAL SEMANTIC MODEL FOR OBJECTHuang Tao,Feng Yulin and Li Jing1995,6(zk):207-212 [Abstract(3002)] [View PDF(3353)425.73 K]DATA MODEL AND DDL WITHIN A FRAM EWORK SYSTEMPan Xuezeng,Shou Yucheng,Zhao Yuping and Ping Lingdi1995,6(zk):213-218 [Abstract(2985)] [View PDF(3494)378.80 K]A METHOD AND ARCHITECTURE MODES FOR INFoRMATION SYSTEM DEVELOPMENTZhong Cuihao,Cao Dongqi and Guo Heqing1995,6(zk):219-225 [Abstract(3120)] [View PDF(3901)509.38 K]A GENERATION METHOD OF PROGRAM OF MISGuo Heqing,Zhong Cuihao and Ma Jian1995,6(zk):226-230 [Abstract(2776)] [View PDF(3357)358.58 K]OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlONLi Jing,Feng Yulin and Huang Tao1995,6(zk):231-237 [Abstract(3136)] [View PDF(3417)401.07 K]THE DESIGN AND IMPLEMENTATION OF CHINESE PAGE DESCRIPTION LANGUAGE INTERPRETER CPDL LEVEL 2Xu Fupei,Jin Yadong,Zhou Dong and Wu Zhao1995,6(zk):238-245 [Abstract(3350)] [View PDF(3717)557.26 K]EXPANSION ALGORITHM AND SOLUTIONS oF PSEUDO—BILINEAR EQUATION SYSTEMSSun Yongqiang and Yuan Huaqiang1995,6(zk):246-252 [Abstract(2861)] [View PDF(3445)426.87 K]STREAMS MECHANISM AND IP IMPLEMENTATlONHu Yanli and Ju Jiubin1995,6(zk):253-257 [Abstract(2945)] [View PDF(3661)364.46 K]ON THE IMPLEMENTATION OF COMPILERS FOR FUNCTIONAL LANGUAGESLiao Husheng1995,6(zk):258-265 [Abstract(3317)] [View PDF(3797)488.23 K]A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMSXu Dianxiang and Zheng Guoliang1995,6(zk):266-273 [Abstract(2800)] [View PDF(3431)503.45 K]A RESPONSIBILITY—DRIVEN OBJECT—ORIENTED ANALYSIS AND DESIGN METHODTian Zhong,Qian Leqiu,Zhao wenyun and Qian Jiahua1995,6(zk):274-280 [Abstract(2882)] [View PDF(3668)509.40 K]MULTISCALE STEREO VISlON BASED ON WAVELET TRANSFORMZhong Sheng,Shi Qingyun and Cheng Minde1995,6(zk):281-291 [Abstract(2882)] [View PDF(3423)2.83 M]SOFTWARE AUTOMATION FROM THE DEVELOPMENT OF SOFTWARE ENGINEERINGBai Guangye,Xu Chong,Fan Zhihua and Jiang Dongming1995,6(zk):292-300 [Abstract(3383)] [View PDF(4095)646.26 K]