57 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • MySong: Sing to Your Computer to Write Music
  • Intel Projects a Whole New World for Childs Play
  • Research: Contract Checking and Automated Test Generation with Pex
  • Microsoft PEX/MOLES & advanced Unit-Testing aspects 3/3
    2 hours, 26 minutes, 34 seconds
  • Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex
    11 minutes, 30 seconds
  • Microsoft Research Reveals Facebook for Scientists: ScholarLynk
  • Eduify Launches Educational Tool for Students on Windows Azure
  • Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs
  • Trident Workbench
  • Are Gene Scans Effective? Microsoft Funds Research To Find Out