Automated FPGA Verification and Debugging
Hardware simulations on FPGAs run more than three orders of magnitude faster than software simulations, but with much lower visibility into the circuit under test. To expedite the task of debugging and specification verification, we…
Scalable, Consistent, and Elastic Database Systems for Cloud Platforms
Cloud computing has emerged as a multi-billion dollar industry and as a successful paradigm for web application deployment. Economies-of-scale, elasticity, and pay-per-use pricing have been the biggest promises of cloud. Database management systems (DBMSs) serving…
T-Drive trajectory data sample
Faculty Summit 2011
The twelfth Microsoft Research Faculty Summit provided a forum for lively debate of the development, application, and funding of technologies in the environmental, medical, and educational spheres over a long period of time. The program…