Search: research.microsoft.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Microsoft Research: Making the Shortest Path Even Quicker

research.microsoft.com

17 years ago

5 points

212.

One of the Most Entertaining Papers: Microsoft Research on Byzantine Consensus

research.microsoft.com

11 years ago

5 points

213.

MS Research Elliptic Curve Cryptography Library

research.microsoft.com

12 years ago

5 points

214.

Reaching Agreement in the Presence of Faults (1980) [pdf]

research.microsoft.com

17 years ago

5 points

215.

Implementing Functional Languages: A Tutorial

research.microsoft.com

17 years ago

5 points

216.

Xerox internal memo about the Alto (1972)

research.microsoft.com

18 years ago

5 points

217.

Richard Feynman Lectures on Video [silverlight]

research.microsoft.com

15 years ago

5 points

218.

Live feed from Microsoft's underwater data center

natick.research.microsoft.com

8 years ago

5 points

219.

Tackling the awkward squad: monadic input/output, concurrency in Haskell

research.microsoft.com

11 years ago

5 points

220.

Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]

research.microsoft.com

11 years ago

5 points

221.

Deep Learning: Methods and Applications

research.microsoft.com

12 years ago

5 points

222.

Microsoft Research Prototype: Vault is safe version of the C programming language

research.microsoft.com

17 years ago

5 points

223.

Compiler pearl: Equality proofs and deferred type errors [pdf]

research.microsoft.com

14 years ago

5 points

224.

research.microsoft.com

15 years ago

5 points

225.

The Implementation of Functional Programming Languages

research.microsoft.com

15 years ago

5 points

226.

Time, Clocks, and the Ordering of Events in a Distributed System [pdf]

research.microsoft.com

10 years ago

5 points

227.

Composing contracts: an adventure in financial engineering (2000)

research.microsoft.com

16 years ago

5 points

228.

Virtual WiFi : Connect to multiple WiFi networks with one WiFi card

research.microsoft.com

16 years ago

5 points

229.

Leslie Lamport's Writings

research.microsoft.com

16 years ago

4 points

230.

Usable Live Programming

research.microsoft.com

13 years ago

4 points

231.

IronFleet: Proving Practical Distributed Systems Correct

research.microsoft.com

11 years ago

4 points

232.

The Rational Rejection of Security Advice by Users [pdf]

research.microsoft.com

17 years ago

4 points

233.

Luca Cardelli Fest

research.microsoft.com

12 years ago

4 points

234.

Using markov models and prediction to mitigate game latency [pdf]

research.microsoft.com

12 years ago

4 points

235.

IllumiRoom: Peripheral Projected Illusions for Interactive Experiences (2013)

research.microsoft.com

12 years ago

4 points

236.

Usable Live Programming

research.microsoft.com

13 years ago

4 points

237.

Depixelizing pixel art

research.microsoft.com

14 years ago

4 points

238.

Exploding Software-Engineering Myths

research.microsoft.com

15 years ago

4 points

239.

Paxos Made Simple – concise explanation of the distributed agreement algorithm

research.microsoft.com

16 years ago

4 points

240.

Top-ranked Papers in "Computer Science Overall" via MSR's Academic Search

academic.research.microsoft.com

16 years ago

4 points