Loading...
Bimonthly    Since 1986
ISSN 1004-9037
/
Indexed in:
SCIE, Ei, INSPEC, JST, AJ, MR, CA, DBLP, etc.
Publication Details
Edited by: Editorial Board of Journal of Data Acquisition and Processing
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
 
  • Table of Content
      10 March 1998, Volume 13 Issue 2   
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    A Lock-Based Cache Coherence Protocol for Scope Consistency
    Hu Weiwu; Shi Weisong; Tang Zhimin; Li Ming;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 97-109. 
    Abstract   PDF(1125KB) ( 2345 )  
    Directory protocols are widely adopted to maintain cache coherence of distributed shared memory multiprocessors. Although scalable to a certain extent, directory protocols are complex enough to prevent it from being used in very large scale multiprocessors with tens of thousands of nodes. This paper proposes a lock-based cache coherence protocol for scope conyistency. It does not rely on directory information to maintain cache coherence. Instead, cache coherence is mailltained through requiring the releasin…
    A Framework of Memory Consistency Models
    Hu Weiwu; Shi Weisong; Tang Zhimin;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 110-124. 
    Abstract   PDF(644KB) ( 1323 )  
    Previous descriptions of memory consistency models in shared-memory multiprocessor systems are mainly expressed as constraints on the memory access event ordering and hence are hardwae-centric. This paper presents a framework of memory consistency models which describes the memory consistency model on the behavior level.Based on the understanding that the behavior of an execution is determined by the execution order of confiicting accesses, a memory consistency model is defined as an interprocessor synchro…
    Out-of-Order Execution in Sequentially Consistent Shared-Memory Systems:Theory and Experiments
    Hu Weiwu; Xia Peisu;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 125-140. 
    Abstract   PDF(704KB) ( 1716 )  
    Thaditional implementation of sequential consistency in shared-memory systems requires memory accesses to be globally performed in program order. Based on an event ordering model for correct executions in shared-memory systems, this paper proposes and proves that out-of-order execution does not influence the correctness of an execution providing certain condition is met. Simulation results show that out-of-order execution proposed in this paper is an effective way to improve the performance of a sequentiall…
    Parallel Implementation of Linear Algebra Problems on Dawning-1000
    Chi Xuebin;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 141-146. 
    Abstract   PDF(264KB) ( 1668 )  
    In this paper, some parallel algorithms are described for solving numerical linear algebra problems on Dawning-1000. They include matrix multiplication, LU factorization of a dense matrix, Cholesky factorization of a symmetric matrix, and eigendecomposition of symmetric matrix for real and complex data types. These programs are constructed based on fast BLAS library of Dawning-1000 under NX environment.Some comparison results under different parallel environments and implementing methods are also given for …
    Functional-Level Fault Simulation with Concurrent and Parallel Mechanisms Using Object-Oriented VLSI Model
    Li Wei; Yang Qiaolin;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 147-160. 
    Abstract   PDF(351KB) ( 1341 )  
    The functional-level test has been proposed as an alternative to reduce the complexity of test when VLSI gets larger and more complicated. It has been successful for circuits such as memories, PLAs and microprocessors. However, the functional-level test for general functional models has seldom been studied. This paper presents an object-oriented VLSI model and a functional-level fault simulation methodology for general functional model. Based on the proposed VLSI model, FFS (Functional-level Fault Simulator…
    The Processing and Improvement of Multi-Statement Queries in Chiql
    Meng Xiaofeng; Wong Kam-Fai; Yip Suen Man; Vincent Lum; Wang Shan;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 161-173. 
    Abstract   PDF(592KB) ( 1385 )  
    Chiql is a novel Chinese relational database query language for Chinese users. It supports procedural query style in which users can specify a complex database request in multiple simple statements. This facility renders Chiql simple-to-use and easy-toremember. However, direct execution of multi-statement Chiql queries (i.e. statement by statement) is often inefficient as potential indexbased operations (e.g. join) are by-passed. Furthermore, it often incurs additional database operations, such as scan and …
    Tableau Systems for Paraconsistency and Minimal Inconsistency
    Lin Zuoquan;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 174-188. 
    Abstract   PDF(698KB) ( 1289 )  
    In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.
    Analysis on Attribute Reduction Strategies of Rough Set
    Wang Jue; Miao Duoqian;
    Journal of Data Acquisition and Processing, 1998, 13 (2): 189-193. 
    Abstract   PDF(211KB) ( 1574 )  
    Several strategies for the minimal attribute reduction with polynomial time complexity (O(nk)) have been developed in rough set theory. Are they complete? While investigating the attribute reduction strategy based on the discernibility matrix (DM),a counterexample is constructed theoretically, which demonstrates that these strategies are all incomplete with respect to the minimal reduction.
SCImago Journal & Country Rank
 

ISSN 1004-9037

         

Home
Editorial Board
Author Guidelines
Subscription
Journal of Data Acquisition and Processing
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China

E-mail: info@sjcjycl.cn
 
  Copyright ©2015 JCST, All Rights Reserved