论文与出版物 Hang Analysis: Fighting Responsiveness Bugs Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang EuroSys 2008 | April 2008 Best Student Paper Award The 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
论文与出版物 Continuous Network Coding in Wireless Relay Networks Wei Pu, Chong Luo, Shipeng Li, Chang Wen Chen Proceedings of IEEE Infocom’08 | April 2008
论文与出版物 Kiwi: Synthesis of FPGA Circuits from Parallel Programs David Greaves, Satnam Singh IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008 项目
论文与出版物 LTL Generalized Model Checking Revisited Patrice Godefroid, Nir Piterman MSR-TR-2008-60 | April 2008
论文与出版物 Nonlinear Residual Acoustic Echo Suppression for High Levels of Harmonic Distortion Diego Bendersky, Jack W. Stokes, Henrique S. Malvar International Conference on Acoustics, Speech and Signal Processing | April 2008 International Conference on Acoustics, Speech and Signal Processing 项目
论文与出版物 Enabling the Future Auto with Model-Driven Services Johannes Helander, Margus Veanes National Workshop on High-Confidence Automotive Cyber-Physical Systems. | April 2008
论文与出版物 Parameterized Unit Testing with Pex (Tutorial) Nikolai Tillmann, Jonathan "Peli" de Halleux Proc. of Tests and Proofs (TAP’08) | April 2008 项目 项目
论文与出版物 Optimizing Matrix Computations for Learning Oliver Williams, Andrew Fitzgibbon April 2008 April 2008 Presented at the Snowbird Learning Workshop 2008
论文与出版物 Highly Parallel Surface Reconstruction Kun Zhou, Minmin Gong, Xin Huang, Baining Guo MSR-TR-2008-53 | April 2008
论文与出版物 Behavioral Classification on the Click Graph Martin Szummer, Nick Craswell World Wide Web Conference | April 2008 World Wide Web Conference