RiSE

72 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • Nikolai Tillmann: Moles - Replace any .NET method with a delegate
    5 minutes, 48 seconds
  • EMIC - Software Verification
    29 minutes, 49 seconds
  • Getting started with Pex in Visual Studio 2008
    20 minutes, 15 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of n
    1 hour, 21 minutes, 16 seconds
  • E2E: Concurrent Programming with Revisions
    1 hour, 10 minutes, 38 seconds
  • CHESS: An Automated Concurrency Testing Tool
    47 minutes, 55 seconds
  • Bart De Smet: LINQ to Z3
    1 hour, 16 minutes, 56 seconds
  • Daryl Zuniga and Mike Barnett - Xml Documentation from Code Contracts for .Net
    8 minutes, 30 seconds
  • Project JSMeter: JavaScript Performance Analysis in the Real World
    49 minutes, 35 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 2 of n
    59 minutes, 56 seconds