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(2315)]  [View PDF(2440)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(2212)]  [View PDF(2147)422.41 K]
  • DDD——AN OBJECT—ORIENTED METHODOLOGY FOR MIS DEVELOPMENT
  • Zhuge Hai
  • 1995,6(zk):18-27 [Abstract(1764)]  [View PDF(2423)585.75 K]
  • KNOWLEDGE—BASED DATA AUTOMATIC DISTRIBUTION MODEL
  • Yang Li,Ge Jianxin and He Zhijun
  • 1995,6(zk):28-35 [Abstract(2023)]  [View PDF(2257)563.67 K]
  • LEAST SQUARE HIGH ORDER ASSOCIATIVE MEMORY
  • Chen Songcan and Chen Dejian
  • 1995,6(zk):36-39 [Abstract(1874)]  [View PDF(2252)247.79 K]
  • INCREMENTAL EXPLANATION—BASED LEARNING ALGORITHM EBG—PLUS
  • Hao Jigang and Shi Chunyi
  • 1995,6(zk):40-45 [Abstract(2079)]  [View PDF(1924)403.74 K]
  • ALLOCATION AND ITS MODEL
  • Su Ming,Xue Hongxi and Hong Xianlong
  • 1995,6(zk):46-51 [Abstract(1870)]  [View PDF(2222)384.48 K]
  • PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES
  • Liu Jiren and Du Jun
  • 1995,6(zk):52-58 [Abstract(1790)]  [View PDF(2430)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(2067)]  [View PDF(1980)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(1807)]  [View PDF(2146)594.54 K]
  • THE LEXICAL SEMANTIC DRIVING ALGORITHM BASED ON THE COLLOCATION DICTlONARY
  • Tang Hongying and Yao Tianshun
  • 1995,6(zk):78-85 [Abstract(1866)]  [View PDF(2164)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(1980)]  [View PDF(2215)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(2327)]  [View PDF(2265)415.09 K]
  • ON THE SECURITY OF THE MCELIECE'S PUBLIC KEY CRYPTOSYSTEM
  • Long Yonghong
  • 1995,6(zk):100-103 [Abstract(1855)]  [View PDF(1866)258.27 K]
  • MIDS P++LANGUAGE
  • Che Dunren and Mai Zhongfan
  • 1995,6(zk):104-111 [Abstract(1803)]  [View PDF(1953)486.27 K]
  • RAM ASSOCIATIVE MEMORY WITH THE NoNLINEAR MAPPING ABILITY
  • Chen Songean
  • 1995,6(zk):112-117 [Abstract(1869)]  [View PDF(2197)324.93 K]
  • A HIERARCHY—BASED HYPERMEDIA AUTHORING SYSTEM
  • Yang Deshun and Wang Wenqing
  • 1995,6(zk):118-123 [Abstract(2143)]  [View PDF(2184)409.30 K]
  • USING SUPERCOMPILING TECHNIQUES TO OPTIMIZE SEQUENTIAL PROGRAMS
  • Zhang Zhaoqing and Qiao Ruliang
  • 1995,6(zk):124-131 [Abstract(2004)]  [View PDF(2350)486.05 K]
  • ON TWO TYPES NEW ACCEPTANCE CONDITlON OF ω-FINITE STATE AUTOMATA
  • Zhou Wenjun and Su Jinxiang
  • 1995,6(zk):132-137 [Abstract(2029)]  [View PDF(2033)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(1843)]  [View PDF(2088)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(1894)]  [View PDF(2309)561.11 K]
  • ω—POWER CONTEXT—FREE LANGUAGES AND THEIR CLOSURE PROPERTIES
  • Guo Qingquan
  • 1995,6(zk):157-161 [Abstract(2051)]  [View PDF(1812)288.44 K]
  • THE IMPLEMENTATION OF PERSISTENT OBJECT IN JB2 SYSTEM
  • Liu Junfei,Shao Weizhong and Yang Fuqing
  • 1995,6(zk):162-169 [Abstract(2028)]  [View PDF(2098)522.67 K]
  • A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS
  • Xu Jianli and Zhou Longxiang
  • 1995,6(zk):170-181 [Abstract(2067)]  [View PDF(2505)764.11 K]
  • THE STATIC ANALYSIS FOR CONCURRENT PROGRAMS BY FLOWCHART
  • Ma Jun and Ma Shaohan
  • 1995,6(zk):182-186 [Abstract(2407)]  [View PDF(3199)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(1828)]  [View PDF(2327)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(2403)]  [View PDF(2182)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(1977)]  [View PDF(2523)365.64 K]
  • A FORMAL SEMANTIC MODEL FOR OBJECT
  • Huang Tao,Feng Yulin and Li Jing
  • 1995,6(zk):207-212 [Abstract(2075)]  [View PDF(2046)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(1918)]  [View PDF(2069)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(2056)]  [View PDF(2464)509.38 K]
  • A GENERATION METHOD OF PROGRAM OF MIS
  • Guo Heqing,Zhong Cuihao and Ma Jian
  • 1995,6(zk):226-230 [Abstract(1851)]  [View PDF(2013)358.58 K]
  • OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlON
  • Li Jing,Feng Yulin and Huang Tao
  • 1995,6(zk):231-237 [Abstract(2025)]  [View PDF(1989)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(2316)]  [View PDF(2276)557.26 K]
  • EXPANSION ALGORITHM AND SOLUTIONS oF PSEUDO—BILINEAR EQUATION SYSTEMS
  • Sun Yongqiang and Yuan Huaqiang
  • 1995,6(zk):246-252 [Abstract(1940)]  [View PDF(2039)426.87 K]
  • STREAMS MECHANISM AND IP IMPLEMENTATlON
  • Hu Yanli and Ju Jiubin
  • 1995,6(zk):253-257 [Abstract(2013)]  [View PDF(2331)364.46 K]
  • ON THE IMPLEMENTATION OF COMPILERS FOR FUNCTIONAL LANGUAGES
  • Liao Husheng
  • 1995,6(zk):258-265 [Abstract(2283)]  [View PDF(2418)488.23 K]
  • A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMS
  • Xu Dianxiang and Zheng Guoliang
  • 1995,6(zk):266-273 [Abstract(1850)]  [View PDF(2111)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(1860)]  [View PDF(2248)509.40 K]
  • MULTISCALE STEREO VISlON BASED ON WAVELET TRANSFORM
  • Zhong Sheng,Shi Qingyun and Cheng Minde
  • 1995,6(zk):281-291 [Abstract(1856)]  [View PDF(1976)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(2330)]  [View PDF(2352)646.26 K]