公開日 Accelerating large-scale convolutional neural networks with parallel graphics multiprocessors Dominik Scherer, Hannes Schulz, Sven Behnke Proceedings of International Conference on Artificial Neural Networks (ICANN) | January 2010
公開日 An empirical study on the maintenance of source code clones Suresh Thummalapenta Empirical Software Engineering | January 2010, 巻15(1): pp. 1-34
公開日 Assessing the Scenic Route: Measuring the Value of Search Trails in Web Logs Ryen W. White Proceedings of SIGIR | January 2010
公開日 A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari, MSR-TR-2010-3 | January 2010
公開日 Ranking Function Synthesis for Bit-Vector Relations Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | January 2010
公開日 Polynomial Heuristics for Query Optimization Nicolas Bruno, Cesar Galindo-Legaria, Milind Joshi International Conference on Data Engineering (ICDE) | January 2010
公開日 Accelerating Smart Play-Out David Harel, Hillel Kugler, Shahar Maoz, Itai Segali SOFSEM 2010: Theory and Practice of Computer Science | January 2010 プロジェクト
公開日 Tools and Behavioral Abstraction: A Direction for Software Engineering Rustan Leino The Future of Software Engineering | January 2010
公開日 Loopfrog “” loop summarization for static analysis Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Workshop on Invariant Generation (WING) | January 2010
公開日 Regular, shape-polymorphic, parallel arrays in Haskell Gabriele Keller, Manuel Chakravarty, Roman Leshchinskiy, Simon Peyton Jones To appear at ICFP’10 | January 2010