New algorithms for the Perspective-Three-Point Problem Gao XiaoshanChen Hangfei Regular Papers Pages: 194 - 207
From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice Harald E. Otto Regular Papers Pages: 208 - 230
Dynamic data prefetching in home-based software DSMs Hu WeiwuZhang FuxinLiu Haiming Correspondence Pages: 231 - 241
A new approach to pointer analysis for assignments Huang BoZang BinyuZhu Chuanqi Correspondence Pages: 242 - 250
A formal software development approach using refinement calculus Wang YunfengPang JunZheng Guoliang Correspondence Pages: 251 - 262
Relaxation algorithm of piecing-error for sub-images Li YuepingTang Pushan Correspondence Pages: 270 - 277
A loop-based apparatus for at-speed self-testing Li XiaoweiPaul Y. S. Cheung Correspondence Pages: 278 - 285
A study on wavelet data compression of a real-time monitoring system for large hydraulic machines Wang HaiZheng Liyuan Notes Pages: 293 - 296