We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search

New Algorithms for the Perspective-Three-Point Problem
GAO Xiaoshan, CHEN Hangfei
2001, 16(3)
Abstract
A Study on Wavelet Data Compression of a Real-Time Monitoring System for Large Hydraulic Machines
WANG Hai, ZHENG Liyuan
2001, 16(3)
Abstract
From Concepts to Consistent Object Specifications:Translation of a Domain-Oriented Feature Framework into Practice
Harald E.Otto
2001, 16(3)
Abstract
Dynamic Data Prefetching in Home-Based Software DSMs
HU Weiwu, ZHANG Fuxin, LIU Haiming
2001, 16(3)
Abstract
A New Approach to Pointer Analysis for Assignments
HUANG Bo, ZANG Binyu, LI Jing, ZHU Chuanqi
2001, 16(3)
Abstract
A Formal Software Development Approach Using Refinement Calculus
WANG Yunfeng, PANG Jun, ZHA Ming, YANG Zhaohui, ZHENG Guoliang
2001, 16(3)
Abstract
CWA Formalizations in Multi-Valued Logics
WU Jinzhao
2001, 16(3)
Abstract
Relaxation Algorithm of Piecing-Error for Sub-Images
LI Yueping, TANG Pushan
2001, 16(3)
Abstract
A Loop-Based Apparatus for At-Speed Self-Testing
LI Xiaowei, Paul Y.S.Cheung
2001, 16(3)
Abstract
Type System in Programming Languages
JIANG Hui, LIN Dong, ZHANG Xingyuan, XIE Xiren
2001, 16(3)
Abstract

Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

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