Generating conformance tests for nondeterministic protocol machines Luo Gang OriginalPaper Pages: 289 - 301
Compiling CIL rewriting language for multiprocessors Tian XinminWang DingxingLi Cheng OriginalPaper Pages: 302 - 310
Building case-based preliminary design systems: A Hopfield network approach Wu WeiZhong WanxieSheng Zhijin OriginalPaper Pages: 329 - 341
GUIDS: A graphical user interface development system in UniECAD Xu JianguoWei Wenxin OriginalPaper Pages: 342 - 348
An automatic hierarchical delay analysis tool Farid Mheir-El-SaadiBozena Kaminska OriginalPaper Pages: 349 - 364
Adaptive memory coherence algorithms in DSVM Zhou JianqiangXie LiSun Zhongxiu OriginalPaper Pages: 365 - 372
Full or-parallemism and restricted And-parallelism in BTM Zheng YuhuaXie LiSun Zhongxiu OriginalPaper Pages: 373 - 381