公開日 Optimizing Compilation with the Value State Dependence Graph December 2007 博士論文:University of Cambridge | December 2007
公開日 The Arabidopsis Circadian Clock Incorporates a cADPR-Based Feedback Loop Antony N Dodd, Michael J Gardner, Carlos T Hotta, Katharine E Hubbard, Neil Dalchau, John Love, Jean-Maurice Assie, Fiona C Robertson, Mia Kyed Jakobsen, Jorge Gonçalves, Dale Sanders, Alex A R Webb Science | December 2007, 巻318(5857): pp. 1789-1792
公開日 Multiple-Instance Pruning for Learning Efficient Cascade Detectors Paul Viola , Cha Zhang Advances in Neural Information Processing Systems | December 2007, pp. 1417-1424
公開日 Doloto: Code Splitting for Network-Bound Web 2.0 Applications Emre Kiciman, Ben Livshits MSR-TR-2007-159 | December 2007 プロジェクト
公開日 Service Combinators for Farming Virtual Machines Karthik Bhargavan, Andy Gordon, Iman Narasamdya MSR-TR-2007-165 | December 2007
公開日 Adapting Futures: Scalability for Real-World Computing Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy RTSS’07 | December 2007
公開日 The DYNAMOS Approach to Context-Aware Service Provisioning in Mobile Environments Oriana Riva, Santtu Toivonen Elsevier Journal of Systems and Software | December 2007, 巻80(12): pp. 1956-1972
公開日 Improving the Classification of Newsgroup Messages through Social Network analysis Blaz Fortuna, Eduarda Mendes Rodrigues, Natasa Milic-Frayling Proceedings of ACM Sixteenth Conference on Information and Knowledge Management, CIKM 2007 | November 2007 Proceedings of ACM Sixteenth Conference on Information and Knowledge Management, CIKM 2007
公開日 eBug: Debugging Extensions for the eMIPS Dynamically Extensible Processor Giovanni Busonera, Alessandro Forin, Neil Pittman MSR-TR-2007-155 | November 2007
公開日 DySy: Dynamic Symbolic Execution for Invariant Inference Nikolai Tillmann MSR-TR-2007-151 | November 2007 プロジェクト プロジェクト