[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Iterative context bounding for systematic testing of multithreaded programs
- 作者Musuvathi, Madanlal; Qadeer, Shaz
- 文件大小324.38KB
- 发表时间2007
- DOI10.1145/1250734.1250785
[ACM Press Graphics Interface 2007 - Montreal, Canada (2007.05.28-2007.05.30)] Proceedings of Graphics Interface 2007 on - GI '07 - Robust pixel classification for 3D modeling with structured lightXu, Yi; Aliaga, Daniel G. · 2007
[IEEE Sixth International Conference on 3-D Digital Imaging and Modeling (3DIM 2007) - Montreal, QC, Canada (2007.08.21-2007.08.23)] Sixth International Conference on 3-D Digital Imaging and Modeling (3DIM 2007) - Dense Depth and Color Acquisition of Repetitive MotionsXu, Yi; Aliaga, Daniel G. · 2007
[IEEE 2010 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) - San Francisco, CA, USA (2010.06.13-2010.06.18)] 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - High-resolution modeling of moving and deforming objects using sparse geometric and dense photometric measurementsXu, Yi; Aliaga, Daniel G. · 2010