Search Results

Item hits: (Results 41-50 of 110)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date Descending
	formula-oriented compositional minimization in model checking [会议论文] 2010 19th IEEE Asian Test Symposium, ATS 2010, Shanghai, China, 40878 Chen Bowen; Shen Haihua; Zhang Wenhui   |
	constraint solving techniques for software testing and analysis [会议论文] 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201 Ma Feifei   |
	auxiliary constructs for proving liveness in compassion discrete systems [会议论文] 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, Singapore, Singapore, September Long Teng; Zhang Wenhui   |
	assume-guarantee reasoning with local specifications [会议论文] 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848 Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng   |
	axiomatic temporal logic programs verification [会议论文] 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25, Yang Xiaoxiao; Duan Zhenhua   |
	a toolkit for generating sentences from context-free grammars [会议论文] 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, September Xu Zhiwu; Zheng Lixiao; Chen Haiming   |
	an algebraic approach to mechanical tabu search algorithm generation [会议论文] 2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878 Zheng Yujun; Shi Haihe; Xue Jinyun   |
	formal derivation of a generic algorithmic program for solving a class extremum problems [会议论文] 10th ACIS Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2009, In conjunction with IWEA 2009 and WEACR 2009, Daegu, Korea, Republic of, 43978 Wang Chang-Jing; Xue Jin-Yun
	an improved method for generating multiresolution animation models [会议论文] 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2009, Huangshan, China, August 19, Zhang Shixue; Wu Enhua
	particle importance based fluid simulation [会议论文] 2009 6th International Conference on Computer Graphics, Imaging and Visualization: New Advances and Trends, CGIV2009, Tianjin, China, August 11, Yuanzhang Chang; Kai Bao; Youquan Liu; Jian Zhu; Enhua Wu

previous 1 2 3 4 5 6 7 8 9 10 11 next