External Links

    Journal: J. Comput. Sci. Technol.

    Volume 10, Issue 6

    481 -- 490Jian Wang, Andreas Krall, M. Anton Ertl. Trace software pipelining
    491 -- 508Weidong Min, Zesheng Tang, Zhengming Zhang, Yu Zhou, Minzhi Wang. A new approach to fully automatic mesh generation
    509 -- 517Changjun Jiang. Net operations (II) - The iterated addition operation of Petri nets
    518 -- 535Jiwen Guan, David A. Bell. General algorithms for Barnett s structure in evidential reasoning
    536 -- 544Youli Min, Yinghua Min. A fault-tolerant and heuristic routing algorithm for faulty hypercubes
    545 -- 556Shiwei Ye, Zhongzhi Shi. A necessary condition about the optimum partition on a finite set of samples and its application to clustering analysis
    557 -- 563Zhiyong Lai, Shouqi Zheng. Simulation and improvement of the processing subsystem of the Manchester dataflow computer
    564 -- 568Xiexiong Chen, Claudio Moraga. Design of multivalued circuits based on an algebra for current-mode CMOS multivalued circuits
    569 -- 573Guangsheng Ma, Zhongwei Zhang, Shaobin Huang. A new method of solving kernels in algebraic decomposition for the synthesis of logic cell array

    Volume 10, Issue 5

    385 -- 402Ke Chen, Masumi Ishikawa. A parallel voting scheme for aspect recovery
    403 -- 416Xianhong Fang, Zhaoqing Zhang, Ruliang Qiao. Interprocedural constant range propagation and alias analysis by multiple version method
    417 -- 424Qingshi Gao, Zhiyong Liu. ::::K::::-Dimensional Optimal Parallel Algorithm for the solution of a general class of recurrence equations
    425 -- 438Dianxiang Xu, Guoliang Zheng. Logical object as a basis of knowledge based systems
    439 -- 446Lejian Liao, Zhongzhi Shi. Minimal model semantics for sorted constraint representation
    447 -- 454Yuning Sun, Xiaoming Wang, Wanchun Shi. ICTSSE: An object-oriented IC test software supporting environment
    455 -- 462Hong Gao. Transformation list for SGML application
    463 -- 469Fupei Xu, Chi Luo, Yadong Jin. A general architecture model of CPDL Interpreter
    470 -- 475Qingshi Gao. A unified::::O::::(log::::N::::) and optimal sorting vector algorithm
    476 -- 480Jichang Kang, Yi an Zhu, Yuanlin Hong, Bishan Ying. Shared variable oriented parallel precompiler for SPMD model

    Volume 10, Issue 4

    289 -- 297Xiaoming Wang, Qiaolin Yang. Using virtual ATE model to migrate test programs
    298 -- 309Zhiyong Liu, Qun Liu, Xiang Zhang. Efficient realization of frequently used bijections on cube-connected cycles
    310 -- 324Zhong Zhang. Simulation of ATPG neural network and its experimental results
    325 -- 333Cungen Cao. Expansion nets and expansion processes of elementary net systems
    334 -- 343Heyun Liu, Kehong Wang, Chunyi Shi, Dingxing Wang. Intention maintenance as conflict resolution upon a means-network
    354 -- 374Dianxun Shuai. New heuristic distributed parallel algorithms for searching and planning
    375 -- 379Shu Yao, Bo Zhang. Situated learning of a behavior-based mobile robot path planner
    380 -- 384Tianzhu Li. Object identity in database systems

    Volume 10, Issue 3

    193 -- 205Wei Li. A logical framework for knowledge base maintenance
    206 -- 213Jian Zhang. Automatic construction of finite algebras
    214 -- 226Yuzhong Qu, Zhijian Wang, Jiafu Xu. Denotational semantics of a simple model of Eiffel
    227 -- 238Manwu Xu, Jianfeng Lu, Fancong Zeng, Jinwen Dai. A formal semantics for DAI language NUML
    239 -- 252Chongyi Yuan. S- and T-invariants in cyber net systems
    253 -- 259Hongzhou Li, Guanying Li. Nonuniform lowness and strong nonuniform lowness
    260 -- 266Mingsheng Ying. Putting consistent theories together in institutions
    267 -- 273Mingsheng Ying. Institutions of variable truth values: An approach in the ordered style
    274 -- 280Cungen Cao, Wei Liu. A three-stage knowledge acquisition method
    281 -- 284Yiyun Chen. Head boundedness of nonterminating rewritings
    285 -- 288Zhiqing Shao, Guoxin Song. An algebraic characterization of inductive soundness in proof by consistency

    Volume 10, Issue 2

    97 -- 103Zhimin Tang, Peisu Xia. A maximum time difference pipelined arithmetic unit based on CMOS gate array
    104 -- 111Bo Zhang, Ling Zhang, Gang Chen. The generation of a sort of fractal graphs
    112 -- 123Shijun Wang, Shulin Wang. Research and design of a fuzzy neural expert system
    124 -- 133Dianxun Shuai. High-order two-dimension cluster competitive activation mechanisms used for performing symbolic logic algorithms of problem solving
    134 -- 148Aoying Zhou, Baile Shi. Query optimization for Deductive Databases
    149 -- 162Kian-Lee Tan. Optimization of multi-join queries in shared-nothing systems
    163 -- 174Yuan Sun. The modelling of temporal data in the relational database environment
    175 -- 187Hock C. Chan. Translational semantics for a conceptual level query language
    188 -- 192Xianzhi Liao, Lan Jin. Rendezvous facilities in a distributed computer system

    Volume 10, Issue 1

    1 -- 0Guojie Li. From the Editor-in-Chief
    2 -- 14Ming Zhao. A line extraction algorithm for hand drawings
    15 -- 22Zhiguo Xiong, Xi Xu, Shihai Dong. CX11: A Chinese language supporting interface for X window environment
    23 -- 34Jianchao Zeng, Sanada Hidehiko, Yoshikazui Tezuka, Guangyou Xu. A form-correcting system of Chinese characters using a model of correcting procedures of calligraphists
    35 -- 41Hidehiko Zeng, Sanada Hidehiko, Tezuka Yoshikazu. A form evaluation system and its data structure for brush-written Chinese characters
    42 -- 52Xiaohu Ma, Zhigeng Pan, Fuyan Zhang. The automatic generation of Chinese outline font based on stroke extraction
    53 -- 64Songmao Zhang. Weak precedence story parsing grammar
    65 -- 73Li Yang. Towards restructuring and normalization of types in databases
    74 -- 84Zhi Jin. The structure and semantics of an object-oriented logic programming language: SCKE
    85 -- 96Huaimin Wang, Huowang Chen. A constructor-based EI-model semantics of EI-CTRS
    runs on