Skip to main content

Journal of Computer Science and Technology

Ausgabe 3/2001

Inhalt (11 Artikel)

Editor’s note

Min Yinghua

Regular Papers

New algorithms for the Perspective-Three-Point Problem

Gao Xiaoshan, Chen Hangfei

Correspondence

Dynamic data prefetching in home-based software DSMs

Hu Weiwu, Zhang Fuxin, Liu Haiming

Correspondence

A new approach to pointer analysis for assignments

Huang Bo, Zang Binyu, Li Jing, Zhu Chuanqi

Correspondence

A formal software development approach using refinement calculus

Wang Yunfeng, Pang Jun, Zha Ming, Zhaohui Yang, Zheng Guoliang

Correspondence

CWA formalizations in multi-valued logics

Wu Jinzhao

Correspondence

Relaxation algorithm of piecing-error for sub-images

Li Yueping, Tang Pushan

Correspondence

A loop-based apparatus for at-speed self-testing

Li Xiaowei, Paul Y. S. Cheung

Notes

Type system in programming languages

Jiang Hui, Lin Dong, Zhang Xingyuan, Xie Xiren

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner