公開日 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 プロジェクト プロジェクト
公開日 Behavioral Classification on the Click Graph Martin Szummer, Nick Craswell World Wide Web Conference | April 2008 World Wide Web Conference
公開日 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