论文与出版物 Explaining Failures Using Software Dependences and Churn Metrics Nachi Nagappan, Thomas Ball MSR-TR-2006-03 | January 2006 项目
论文与出版物 Multi-Attribute Coalitional Games Samuel Ieong, Yoav Shoham Proceedings of ACM Electronic Commerce (ACM-EC) | January 2006
论文与出版物 XRT- Exploring Runtime for .NET Architecture and Applications Nikolai Tillmann, Wolfram Schulte Electr. Notes Theor. Comput. Sci. | January 2006, 第 144 卷(3): pp. 3-26 项目 项目 项目
论文与出版物 A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs Wolfram Schulte ICFEM | January 2006 ISBN: 3-540-47460-9 项目
论文与出版物 Strong Update, Disposal, and Encapsulation in Bunched Typing Josh Berdine, Peter W. O'Hearn Electronic Notes in Theoretical Computer Science | January 2006, 第 158 卷: pp. 81-98
论文与出版物 Area-Performance Trade-offs in Tiled Dataflow Architectures Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006 Proceedings of the 33rd Annual International Symposium on Computer Architecture ISBN: 0-7695-2608-X
论文与出版物 Microsoft Research at RTE-2: Syntactic Contributions in the Entailment Task: an implementation Lucy Vanderwende, Arul Menezes, Rion Snow Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop | January 2006 Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop
论文与出版物 Adaptive Scheduling With Parallelism Feedback Kunal Agrawal, Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson PPOPP | January 2006
论文与出版物 Haskell Is Not Not ML Simon Peyton Jones European Symposium on Programming, ESOP | January 2006 European Symposium on Programming, ESOP
论文与出版物 Morpheme Based Language Modeling for Arabic LVCSR Ghinwa Choueiter, Daniel Povey, Stanely F. Chen, Geoffrey Zweig Proceedings of ICASSP | January 2006 Proceedings of ICASSP