Upload
Featured Recent Articles Topics Login Upload

Search Results for 'research microsoft'

research microsoft published presentations and documents on DocSlides.

Transactional Memory
Transactional Memory
by debby-jeon
and concurrency Simon Peyton Jones Microsoft Resea...
This work was performed at Microsoft Research Asia.
This work was performed at Microsoft Research Asia.
by lois-ondreau
represent, respectively, the noisy blurred image, ...
Michael Isard
Michael Isard
by test
Autopilot: A utomatic D ata C enter M anagement...
Transferring an Automated Test Generation Tool to Practice:
Transferring an Automated Test Generation Tool to Practice:
by faustina-dinatale
From . Pex. to Fakes, Code Digger, and . Pex4Fun...
Linking Records with Value Diversity
Linking Records with Value Diversity
by phoebe-click
Pei Li. University of Milan – . Bicocca. Adviso...
ISFR – Jan 28th, 2010
ISFR – Jan 28th, 2010
by conchita-marotz
Gianluigi Viscusi SEQUOIAS -DISCo - UnMiB. Linkin...
Tolerating and Correcting Memory Errors in C and C++
Tolerating and Correcting Memory Errors in C and C++
by mitsue-stanley
Ben Zorn. Microsoft Research. In collaboration . ...
Information Sciences Institute 4676 Admiralty Way Microsoft Research O
Information Sciences Institute 4676 Admiralty Way Microsoft Research O
by tatiana-dople
Beyond Factoid Question Answering One of the first...
Research Project Presentation
Research Project Presentation
by pamella-moone
Max Intebi. Steve Jobs. Co-founder of Apple. Bill...
Accelerating lemma learning using joins
Accelerating lemma learning using joins
by briana-ranney
LPAR 2008 . –. Doha, Qatar. Nikolaj . Bjørn...
Matthew Parkinson Microsoft research
Matthew Parkinson Microsoft research
by pasty-toler
Deny - guarantee Microsoft Research (with Mike Dod...
From Microsoft Research, particularly the Computational Sci
From Microsoft Research, particularly the Computational Sci
by jane-oiler
Matthew Smith, Matthew.Smith@Microsoft.com. WHAT?...
Innovation in Education:
Innovation in Education:
by tatyana-admore
Where Schools and the Hi-Tech Industry Meet. Yora...
Tolerating and Correcting Memory Errors in C and C++
Tolerating and Correcting Memory Errors in C and C++
by tatyana-admore
Ben Zorn. Microsoft Research. In collaboration . ...
Logical Abstract Interpretation
Logical Abstract Interpretation
by karlyn-bohler
Sumit Gulwani Microsoft Research, Redmond Uninterp...