Loading...




Bimonthly    Since 1986
ISSN 1000-9000(Print)
/1860-4749(Online)
CN 11-2296/TP
Indexed in:
SCIE, Ei, INSPEC, JST, AJ, MR, CA, DBLP, etc.
Publication Details
Edited by: Editorial Board of Journal Of Computer Science and Technology
P.O. Box 2704, Beijing 100190, P.R. China
Sponsored by: Institute of Computing Technology, CAS & China Computer Federation
Undertaken by: Institute of Computing Technology, CAS
Published by: SCIENCE PRESS, BEIJING, CHINA
Distributed by:
China: All Local Post Offices
Other Countries: Springer
 
ip访问总数:
ip当日访问总数:
当前在线人数:
  • Table of Content
      10 April 1994, Volume 9 Issue 2 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    DGLa: A Distributed Graphics Language
    Pan Zhigeng; Shi Jiaoying; Hu Bingfeng;
    Journal of Computer Science and Technology, 1994, 9 (2): 97-106. 
    Abstract   PDF(411KB) ( 1229 )   Chinese Summary
    A distributed graphics programming language called DGLa is presented, which facilitates the development of distributed graphics application. Facilities for distributed programming and graphics support are included in it. It not only supports synchronous and asynchronous communication but also provides programmer with multiple control mechanism for process communication. The graphics support of DGLa is powerful, for both sequential graphics library and parallel graphics library are provided. The design consi…
    References | Related Articles | Metrics
    A Unified Algorithm for Finding the Intersection Curve of Surfaces
    Tan Jianrong; Zheng Jianmin; Peng Qunsheng;
    Journal of Computer Science and Technology, 1994, 9 (2): 107-116. 
    Abstract   PDF(398KB) ( 1134 )   Chinese Summary
    In this papaert an INTEGRAL CURVE ALGORITHM is preselited, which turns the intersection curve of surfaces into the form of integral one and then uses "PREDICTORCORRECTOR" technique to evaluate the intersection of surfaces.No matter how the surfaces are defined, the method always deaIs with the intersection curves in the same wny. To find a point on the curve one need only to calculate the JACOBI determinants of "PREDICTOR point" and "CORRECToR point" while the second order precision is guatanteed. Thus, not…
    References | Related Articles | Metrics
    Constructing Isosurfaces from 3D Data Sets Taking Account of Depth Sorting of Polyhedra
    Zhou Yong; Tang Zesheng;
    Journal of Computer Science and Technology, 1994, 9 (2): 117-127. 
    Abstract   PDF(226KB) ( 1415 )   Chinese Summary
    Creating and rendering intermediate geometric primitives is one of the approaches to visualize data sets in 3D space. Some algorithms have been developed to construct isosurface from uniformly distributed 3D data sets. These algorithms assume that the function value varies linearly along edges of each cell. But to irregular 3D data sets, this assumption is inapplicable. Moreover, the depth sorting of cells is more complicated for irregular data sets, which is indispensable for generating isosurface images o…
    References | Related Articles | Metrics
    Using Timed Petri Net to Model Instruction-Level Loop Scheduling with Resource Constraints
    Wang Jian; Christine Eisenbeis; Su Bogong;
    Journal of Computer Science and Technology, 1994, 9 (2): 128-143. 
    Abstract   PDF(709KB) ( 1312 )   Chinese Summary
    This paper uses timed Petri net to model and analyze the problem of instructionlevel loop scheduling with resource constraints, which has been proven to be an NP complete problem. First, we present a new timed Petri net model to integrate functional unit allocation, register allocation and spilling ilno a unified theoretical framework.Then we develop a state subgraph, called Register Allocation Solution Graph, which can effectively describe the major behavior of our new model. The maill property of this sta…
    References | Related Articles | Metrics
    Granularity Analysis for Exploiting Adaptive Parallelism of Declarative Programs on Multiprocessors
    Tian Xinmin; Wang DingXing; Shen Meiming; Zheng Weimin; Wen Dongchan;
    Journal of Computer Science and Technology, 1994, 9 (2): 144-152. 
    Abstract   PDF(383KB) ( 1412 )   Chinese Summary
    Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation. However, the performance of a parallel declarative program can be impaired by a mismatch between the parallelism available in an application and the parallelism available in the architecture. A particularly attractive solution is to automatically match the parallelism of the program to the par…
    References | Related Articles | Metrics
    MADET-A Machine-Description Table Based Instruction Scheduler in TH-RISC for Exploiting Instruction Level Parallelism
    Li Sanli; Fu Xinggang;
    Journal of Computer Science and Technology, 1994, 9 (2): 153-159. 
    Abstract   PDF(133KB) ( 1339 )   Chinese Summary
    This paper presents a parameterized instruction scheduling algorithm based on machine description table for TH-RISC system, having a (3-5) stages pipeline structure.It would provide considerable fiexibility for instruction scheduling, improving execution efficiency for rapidly upgrading RISC machines. Alld, using this instruction scheduler as a tool, the effect of several methods for solving instruction interlock problem has been analyzed. Finally, a high performance approach combining the hardware feasibil…
    References | Related Articles | Metrics
    Generalized Resolution and NC-Resolution
    Liu Xuhua; Sun Jigui;
    Journal of Computer Science and Technology, 1994, 9 (2): 160-167. 
    Abstract   PDF(336KB) ( 1347 )   Chinese Summary
    The relation between generalized resolution and NC-resolution is discussed. The proof of the completeness of NC linear resolution is then given. The incompleteness of NC lock resolution is also presented, thus the conclusion in [3] of" a simple completeness- preserving restriction" is shown to be wrong.
    References | Related Articles | Metrics
    Preparing Mathematical Equations in a Document Preparation Environment
    Zheng Min; Lu Jinxin;
    Journal of Computer Science and Technology, 1994, 9 (2): 168-174. 
    Abstract   PDF(161KB) ( 1224 )   Chinese Summary
    WITS-Math is a mathematical equation formatting tool in WITS, a multilingual document preparation environment. WITS-Math includes a library manager and an equation formatter. The main task of WITS-Math is to format diversities of mathematical equations and organize them into an equation library used by other tools in the WITS environment.WITS-Math is a direct manipulation mathematics editor. It uses syntax directed markup language as the internal representation, alld provides an interactive WYSIWYG interfac…
    References | Related Articles | Metrics
    Prefix Code Translation by Mapping
    Jiang Xianchun;
    Journal of Computer Science and Technology, 1994, 9 (2): 175-181. 
    Abstract   PDF(156KB) ( 1278 )   Chinese Summary
    This paper introduces a new way of prefix code translation. It helps to finish the whole translation by mapping once (only one comparison instruction is needed for getting the length of prefix code), and returns the original data and the length of prefix code element. The decoding time is only about four times as many as the time accessing original data directly.
    References | Related Articles | Metrics
    GLOBAL: A Design for Random Testability Algorithm
    Xiang Dong; Wei Daozheng;
    Journal of Computer Science and Technology, 1994, 9 (2): 182-192. 
    Abstract   PDF(463KB) ( 1114 )   Chinese Summary
    A global design for testability algorithm is offered in this paper. First, a test point candidate set is obtained to simplify the test point placemellt problem; the principle of selective tracing is offered to get a sequential test point placement solution, which is used as the initial solution of the global algorithm. Using this initial value, a branch & bound algorithm is then offered to obtain a global design for testability solution. Finally,a new test length analyser is offered to evaluate the global d…
    References | Related Articles | Metrics
  Journal Online
Just Accepted
Archive
Top Cited Papers
Top 30 Most Read
Paper Lists of Areas
Surveys
Special Issues
  Download
   ScholarOne Manuscripts
   Log In

User ID:

Password:

  Forgot your password?

Enter your e-mail address to receive your account information.

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved