External Links

    Journal: J. Comput. Sci. Technol.

    Volume 9, Issue 4

    289 -- 301Gang Luo. Generating conformance tests for nondeterministic protocol machines
    302 -- 310Xinmin Tian, Dingxing Wang, Weimin Zheng, Meiming Shen, Cheng Li. Compiling CIL rewriting language for multiprocessors
    311 -- 319Zongtian Liu, Fuan Chen. Research on decompiling technology
    320 -- 328Shu Yao, Bo Zhang. The learning convergence of CMAC in cyclic learning
    329 -- 341Wei Wu, Wanxie Zhong, Zhijin Sheng. Building case-based preliminary design systems: A Hopfield network approach
    342 -- 348Jianguo Xu, Wenxin Wei. GUIDS: A graphical user interface development system in UniECAD
    349 -- 364Farid Mheir-El-Saadi, Bozena Kaminska. An automatic hierarchical delay analysis tool
    365 -- 372Jianqiang Zhou, Li Xie, Fei Dai, Zhongxiu Sun. Adaptive memory coherence algorithms in DSVM
    373 -- 381Yuhua Zheng, Li Xie, Zhongxiu Sun. Full or-parallemism and restricted And-parallelism in BTM

    Volume 9, Issue 3

    204 -- 214Xinming Ye. A distributed algorithm for determining minimal covers of acyclic database schemes
    215 -- 228Songmao Zhang. Story Parsing Grammar
    229 -- 244Baile Shi, Aoying Zhou. Bottom-up evaluation of datalog with negation
    245 -- 251Xianchang Wang, Huowang Chen, Qinping Zhao. On the relationship between TMS and logic programs
    252 -- 260Hui Hui, Dayou Liu, Yafei Wang. Sequential back-propagation
    261 -- 266Jigang Wu, Hong Zhu. The least basic operations on heap and improved heapsort
    267 -- 274Mingyi Zhang. Some results on default logic
    275 -- 284Weiqing Tang, Sili Wen, Shenquan Liu. An object-oriented model of user interface generation tool
    285 -- 288Guoyong Huang, Sanli Li. TSP: A heterogeneous multiprocessor supercomputing system based on i860XP

    Volume 9, Issue 2

    97 -- 106Zhigeng Pan, Jiaoying Shi, Bingfeng Hu. DGLa: A distributed graphics language
    107 -- 116Jianrong Tan, Jianmin Zheng, Qunsheng Peng. A unified algorithm for finding the intersection curve of surfaces
    117 -- 127Yong Zhou, Zesheng Tang. Constructing isosurfaces from 3D data sets taking account of depth sorting of polyhedra
    128 -- 143Jian Wang, Christine Eisenbeis, Bogong Su. Using timed Petri net to model instruction-level loop scheduling with resource constraints
    144 -- 152Xinmin Tian, Dingxing Wang, Meiming Shen, Weimin Zheng, Dongchan Wen. Granularity analysis for exploiting adaptive parallelism of declarative programs on multiprocessors
    153 -- 159Sanli Li, Xinggang Fu. Madet - A machine-description table based instruction scheduler in TH-RISC for exploiting instruction level parallelism
    160 -- 167Xuhua Liu, Jigui Sun. Generalized resolution and NC-resolution
    168 -- 174Min Zheng, Jinxin Lu. Preparing mathematical equations in a document preparation environment
    182 -- 192Dong Xiang, Daozheng Wei. GLOBAL: A design for random testability algorithm

    Volume 9, Issue 1

    1 -- 26Guohua Jin, Fujie Chen. On the problem of optimizing parallel programs for complex memory hierarchies
    27 -- 36Weikang Huang, F. Lombard. On GID-testable two-dimensional iterative arrays
    37 -- 52Wei Li 0006, Bo Zhang, Hilmar Jaschek. Real-time collision-free path planning for robots in configuration space
    53 -- 62Zhaokeng Zhao, Jun Dai, Wendan Chen. Automated theorem proving in temporal logic: T-resolution
    63 -- 69Qilong Han, Ruzhan Lu, Yongqiang Sun. An improved bottom-up method for implementing equational programming language
    70 -- 85Kaihuai Qin, Gang Fan, Cai Sun. Extrapolating acceleration algorithms for finding B-Spline intersections using recursive subdivision techniques
    86 -- 91Jun Ma, Shaohan Ma. An ::::O(k:::: :::2:::n:::2:::) algorithm to find a ::::k:::: -partition in a ::::k:::: -connected graph
    92 -- 96Wenbin Jiang. A method for minimization design of two-level logic networks using multiplexer universal logic modules
    runs on