Search: research.microsoft.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

MSR Project Premonition: Detecting emerging infectious diseases with drones (research.microsoft.com)

1 point

11 years ago

542.

U-Prove Designated-Verifier Accumulator Revocation Extension (research.microsoft.com:8082)

1 point

11 years ago

543.

[pdf] Kahawai: High-quality mobile gaming using GPU offload (research.microsoft.com)

1 point

11 years ago

544.

Summary of TLA+ (Temporal Logic of Actions) (2000) [pdf] (research.microsoft.com)

1 point

11 years ago

545.

Spec# (research.microsoft.com)

1 point

11 years ago

546.

The Saddest Moment [pdf] (research.microsoft.com)

1 point

11 years ago

547.

Foveated 3D Graphics (2012) [video] (research.microsoft.com)

1 point

11 years ago

548.

Accelerating MATLAB (research.microsoft.com)

1 point

17 years ago

549.

Young Women in STEM: Big Dream Documentary Screening (research.microsoft.com)

1 point

11 years ago

550.

GreenUp: A Decentralized System for Making Sleeping Machines Available [pdf] (research.microsoft.com)

1 point

11 years ago

551.

Practical type inference for arbitrary-rank types (2011) [pdf] (research.microsoft.com)

1 point

11 years ago

552.

OneNet: High Performance Distributed Functional Computing Platform [pdf] (research.microsoft.com)

1 point

11 years ago

553.

The Night Watch [pdf] (research.microsoft.com)

1 point

11 years ago

554.

Dandelion: A Compiler and Runtime for Heterogeneous Systems (research.microsoft.com)

1 point

11 years ago

555.

Telepathwords: preventing weak passwords by reading your mind (telepathwords.research.microsoft.com)

1 point

11 years ago

556.

The Fourth Paradigm: Data-Intensive Scientific Discovery [Book by MSR] (research.microsoft.com)

1 point

17 years ago

557.

C--: a portable assembly language that supports garbage collection (research.microsoft.com)

1 point

18 years ago

558.

Hash functions: Theory, attacks, and applications (2005) [pdf] (research.microsoft.com)

1 point

11 years ago

559.

Microsoft and Intel SGX: Is a Safer Cloud on the Horizon? (research.microsoft.com)

1 point

12 years ago

560.

Computer engineering: A DEC view of hardware systems design (research.microsoft.com)

1 point

12 years ago

561.

CodaLab Demo (research.microsoft.com)

1 point

12 years ago

562.

The Analog Keyboard Project for Android Wear (research.microsoft.com)

1 point

12 years ago

563.

Clock-SI: Achieving Snapshot Isolation in distributed databases [pdf] (research.microsoft.com)

1 point

12 years ago

564.

Confessions of a Used PL Salesman: Getting the Masses Hooked on Haskell (research.microsoft.com)

1 point

17 years ago

565.

Programming with Managed Time [pdf] (research.microsoft.com)

1 point

12 years ago

566.

Towards practical reactive security audit using extended static checkers [pdf] (research.microsoft.com)

1 point

12 years ago

567.

First-person Hyperlapse Videos (research.microsoft.com)

1 point

12 years ago

568.

Download Time Optimizer (research.microsoft.com)

1 point

17 years ago

569.

COIN-GPS: Indoor Localization from Direct GPS Receiving (research.microsoft.com)

1 point

12 years ago

570.

CHESS: A systematic testing tool for concurrent software (research.microsoft.com)

1 point

17 years ago