Volume 6,Issue zk,1995 Table of Contents

Other Issues:  
  
Contents

  • SYMBOLIC BISIMULATION FOR VALUE—PASSING PROCESSES
  • Lin Huimin
  • 1995,6(zk):1-9 [Abstract(2194)]  [View PDF(2377)484.37 K]
  • THE INTERPROCEDUAL DATA—FLOW ANALYSIS WITH ARRAY REFERENCE
  • Ji Xiaomei,Zhang Zhaoqing,Qiao Ruliang and Li Jie
  • 1995,6(zk):10-17 [Abstract(2104)]  [View PDF(2078)422.41 K]
  • DDD——AN OBJECT—ORIENTED METHODOLOGY FOR MIS DEVELOPMENT
  • Zhuge Hai
  • 1995,6(zk):18-27 [Abstract(1655)]  [View PDF(2355)585.75 K]
  • KNOWLEDGE—BASED DATA AUTOMATIC DISTRIBUTION MODEL
  • Yang Li,Ge Jianxin and He Zhijun
  • 1995,6(zk):28-35 [Abstract(1906)]  [View PDF(2188)563.67 K]
  • LEAST SQUARE HIGH ORDER ASSOCIATIVE MEMORY
  • Chen Songcan and Chen Dejian
  • 1995,6(zk):36-39 [Abstract(1774)]  [View PDF(2190)247.79 K]
  • INCREMENTAL EXPLANATION—BASED LEARNING ALGORITHM EBG—PLUS
  • Hao Jigang and Shi Chunyi
  • 1995,6(zk):40-45 [Abstract(1965)]  [View PDF(1860)403.74 K]
  • ALLOCATION AND ITS MODEL
  • Su Ming,Xue Hongxi and Hong Xianlong
  • 1995,6(zk):46-51 [Abstract(1749)]  [View PDF(2144)384.48 K]
  • PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES
  • Liu Jiren and Du Jun
  • 1995,6(zk):52-58 [Abstract(1693)]  [View PDF(2358)475.17 K]
  • HIERARCHICAL MODELING AND PERFORMANCE EVALUATIoN OF STOCHASTIC HIGH—LEVEL PETRE NETS
  • Lin Chuang,Wu Jianping and Wang Dingxing
  • 1995,6(zk):59-67 [Abstract(1942)]  [View PDF(1925)556.96 K]
  • AN EFFICIENT FEED—THROUGH ASSIGNMENT ALGORITHM FOR GATE ARRAY AND STANDARD CELL LAYOUT
  • Hong Xianlong and Huang Jin
  • 1995,6(zk):68-77 [Abstract(1682)]  [View PDF(2072)594.54 K]
  • THE LEXICAL SEMANTIC DRIVING ALGORITHM BASED ON THE COLLOCATION DICTlONARY
  • Tang Hongying and Yao Tianshun
  • 1995,6(zk):78-85 [Abstract(1771)]  [View PDF(2098)552.17 K]
  • RESEARCH AND IMPLEMENTATION OF OBJECT—ORIENTED TESTING TOOL FOR PROLOG PROGRAM
  • Wang Lei and Hou Guangde
  • 1995,6(zk):86-93 [Abstract(1867)]  [View PDF(2158)514.06 K]
  • THE RESEARCH AND IMPLEMENTATION oF AGENT COMMUNICATIVE PRIMITIVE BASE SYSTEM
  • Zhou Li,Wu Quanyuan and Chen Huowang
  • 1995,6(zk):94-99 [Abstract(2208)]  [View PDF(2208)415.09 K]
  • ON THE SECURITY OF THE MCELIECE'S PUBLIC KEY CRYPTOSYSTEM
  • Long Yonghong
  • 1995,6(zk):100-103 [Abstract(1730)]  [View PDF(1808)258.27 K]
  • MIDS P++LANGUAGE
  • Che Dunren and Mai Zhongfan
  • 1995,6(zk):104-111 [Abstract(1679)]  [View PDF(1889)486.27 K]
  • RAM ASSOCIATIVE MEMORY WITH THE NoNLINEAR MAPPING ABILITY
  • Chen Songean
  • 1995,6(zk):112-117 [Abstract(1756)]  [View PDF(2138)324.93 K]
  • A HIERARCHY—BASED HYPERMEDIA AUTHORING SYSTEM
  • Yang Deshun and Wang Wenqing
  • 1995,6(zk):118-123 [Abstract(2017)]  [View PDF(2119)409.30 K]
  • USING SUPERCOMPILING TECHNIQUES TO OPTIMIZE SEQUENTIAL PROGRAMS
  • Zhang Zhaoqing and Qiao Ruliang
  • 1995,6(zk):124-131 [Abstract(1881)]  [View PDF(2285)486.05 K]
  • ON TWO TYPES NEW ACCEPTANCE CONDITlON OF ω-FINITE STATE AUTOMATA
  • Zhou Wenjun and Su Jinxiang
  • 1995,6(zk):132-137 [Abstract(1916)]  [View PDF(1971)361.69 K]
  • DECOMPOSED SOFTWARE PIPELINING:A NEW APPROACH TO EXPLOIT INSTRUCTION LEVEL PARALLELISM FOR LOOP PROGRAMS
  • Tang Zhizhong,Zhang Chihong and Wang Jian
  • 1995,6(zk):138-147 [Abstract(1723)]  [View PDF(2029)600.66 K]
  • A NEW APPROACH OF INSTRUCTIoN—LEVEL OPTIMIZATION OF LOOPS WITH CONDITIONAL JUMPS
  • Tang Zhizhong,Zhang Chihong and Wang Jian
  • 1995,6(zk):148-156 [Abstract(1768)]  [View PDF(2256)561.11 K]
  • ω—POWER CONTEXT—FREE LANGUAGES AND THEIR CLOSURE PROPERTIES
  • Guo Qingquan
  • 1995,6(zk):157-161 [Abstract(1937)]  [View PDF(1753)288.44 K]
  • THE IMPLEMENTATION OF PERSISTENT OBJECT IN JB2 SYSTEM
  • Liu Junfei,Shao Weizhong and Yang Fuqing
  • 1995,6(zk):162-169 [Abstract(1906)]  [View PDF(2046)522.67 K]
  • A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS
  • Xu Jianli and Zhou Longxiang
  • 1995,6(zk):170-181 [Abstract(1947)]  [View PDF(2424)764.11 K]
  • THE STATIC ANALYSIS FOR CONCURRENT PROGRAMS BY FLOWCHART
  • Ma Jun and Ma Shaohan
  • 1995,6(zk):182-186 [Abstract(2288)]  [View PDF(3128)308.36 K]
  • GENERAL INHERITANCE AND ITS IMPLEMENTATION IN OBJECT—ORIENTED PROGRAMMING LANG UAGES
  • Li Xuandong and Zheng Guoliang
  • 1995,6(zk):187-193 [Abstract(1718)]  [View PDF(2259)471.59 K]
  • DESIGN SCHEME OF KNOWLEDGE—BASED COMPUTER—AIDED EXAM—PAPER FORMATION SYSTEM
  • Lin Fuhua,Chen Guangzhong,Hong Chaoxing and Wang Guoqiang
  • 1995,6(zk):194-201 [Abstract(2172)]  [View PDF(2121)521.04 K]
  • AN OBJECT—ORIENTED ARCHITECTURE MODEL FOR MANAGEMENT INFORMATION SYSTEM
  • Wang Lifu,Yi Xiaoyong and Yang Fuqing
  • 1995,6(zk):202-206 [Abstract(1855)]  [View PDF(2463)365.64 K]
  • A FORMAL SEMANTIC MODEL FOR OBJECT
  • Huang Tao,Feng Yulin and Li Jing
  • 1995,6(zk):207-212 [Abstract(1983)]  [View PDF(2000)425.73 K]
  • DATA MODEL AND DDL WITHIN A FRAM EWORK SYSTEM
  • Pan Xuezeng,Shou Yucheng,Zhao Yuping and Ping Lingdi
  • 1995,6(zk):213-218 [Abstract(1816)]  [View PDF(1998)378.80 K]
  • A METHOD AND ARCHITECTURE MODES FOR INFoRMATION SYSTEM DEVELOPMENT
  • Zhong Cuihao,Cao Dongqi and Guo Heqing
  • 1995,6(zk):219-225 [Abstract(1968)]  [View PDF(2396)509.38 K]
  • A GENERATION METHOD OF PROGRAM OF MIS
  • Guo Heqing,Zhong Cuihao and Ma Jian
  • 1995,6(zk):226-230 [Abstract(1757)]  [View PDF(1955)358.58 K]
  • OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlON
  • Li Jing,Feng Yulin and Huang Tao
  • 1995,6(zk):231-237 [Abstract(1896)]  [View PDF(1925)401.07 K]
  • THE DESIGN AND IMPLEMENTATION OF CHINESE PAGE DESCRIPTION LANGUAGE INTERPRETER CPDL LEVEL 2
  • Xu Fupei,Jin Yadong,Zhou Dong and Wu Zhao
  • 1995,6(zk):238-245 [Abstract(2198)]  [View PDF(2215)557.26 K]
  • EXPANSION ALGORITHM AND SOLUTIONS oF PSEUDO—BILINEAR EQUATION SYSTEMS
  • Sun Yongqiang and Yuan Huaqiang
  • 1995,6(zk):246-252 [Abstract(1845)]  [View PDF(1971)426.87 K]
  • STREAMS MECHANISM AND IP IMPLEMENTATlON
  • Hu Yanli and Ju Jiubin
  • 1995,6(zk):253-257 [Abstract(1916)]  [View PDF(2270)364.46 K]
  • ON THE IMPLEMENTATION OF COMPILERS FOR FUNCTIONAL LANGUAGES
  • Liao Husheng
  • 1995,6(zk):258-265 [Abstract(2174)]  [View PDF(2368)488.23 K]
  • A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMS
  • Xu Dianxiang and Zheng Guoliang
  • 1995,6(zk):266-273 [Abstract(1744)]  [View PDF(2062)503.45 K]
  • A RESPONSIBILITY—DRIVEN OBJECT—ORIENTED ANALYSIS AND DESIGN METHOD
  • Tian Zhong,Qian Leqiu,Zhao wenyun and Qian Jiahua
  • 1995,6(zk):274-280 [Abstract(1753)]  [View PDF(2184)509.40 K]
  • MULTISCALE STEREO VISlON BASED ON WAVELET TRANSFORM
  • Zhong Sheng,Shi Qingyun and Cheng Minde
  • 1995,6(zk):281-291 [Abstract(1752)]  [View PDF(1911)2.83 M]
  • SOFTWARE AUTOMATION FROM THE DEVELOPMENT OF SOFTWARE ENGINEERING
  • Bai Guangye,Xu Chong,Fan Zhihua and Jiang Dongming
  • 1995,6(zk):292-300 [Abstract(2210)]  [View PDF(2284)646.26 K]