Search: research.microsoft.com | Heykuki News

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)

5 points

17 years ago

212.

One of the Most Entertaining Papers: Microsoft Research on Byzantine Consensus (research.microsoft.com)

5 points

11 years ago

213.

MS Research Elliptic Curve Cryptography Library (research.microsoft.com)

5 points

12 years ago

214.

Reaching Agreement in the Presence of Faults (1980) [pdf] (research.microsoft.com)

5 points

17 years ago

215.

Implementing Functional Languages: A Tutorial (research.microsoft.com)

5 points

17 years ago

216.

Xerox internal memo about the Alto (1972) (research.microsoft.com)

5 points

18 years ago

217.

Richard Feynman Lectures on Video [silverlight] (research.microsoft.com)

5 points

15 years ago

218.

Live feed from Microsoft's underwater data center (natick.research.microsoft.com)

5 points

8 years ago

219.

Tackling the awkward squad: monadic input/output, concurrency in Haskell (research.microsoft.com)

5 points

11 years ago

220.

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

5 points

11 years ago

221.

Deep Learning: Methods and Applications (research.microsoft.com)

5 points

12 years ago

222.

Microsoft Research Prototype: Vault is safe version of the C programming language (research.microsoft.com)

5 points

17 years ago

223.

Compiler pearl: Equality proofs and deferred type errors [pdf] (research.microsoft.com)

5 points

14 years ago

224.

Cloud Haskell (research.microsoft.com)

5 points

15 years ago

225.

The Implementation of Functional Programming Languages (research.microsoft.com)

5 points

15 years ago

226.

Time, Clocks, and the Ordering of Events in a Distributed System [pdf] (research.microsoft.com)

5 points

10 years ago

227.

Composing contracts: an adventure in financial engineering (2000) (research.microsoft.com)

5 points

16 years ago

228.

Virtual WiFi : Connect to multiple WiFi networks with one WiFi card (research.microsoft.com)

5 points

16 years ago

229.

Leslie Lamport's Writings (research.microsoft.com)

4 points

16 years ago

230.

Usable Live Programming (research.microsoft.com)

4 points

13 years ago

231.

IronFleet: Proving Practical Distributed Systems Correct (research.microsoft.com)

4 points

11 years ago

232.

The Rational Rejection of Security Advice by Users [pdf] (research.microsoft.com)

4 points

17 years ago

233.

Luca Cardelli Fest (research.microsoft.com)

4 points

12 years ago

234.

Using markov models and prediction to mitigate game latency [pdf] (research.microsoft.com)

4 points

12 years ago

235.

IllumiRoom: Peripheral Projected Illusions for Interactive Experiences (2013) (research.microsoft.com)

4 points

12 years ago

236.

Usable Live Programming (research.microsoft.com)

4 points

13 years ago

237.

Depixelizing pixel art (research.microsoft.com)

4 points

14 years ago

238.

Exploding Software-Engineering Myths (research.microsoft.com)

4 points

15 years ago

239.

Paxos Made Simple – concise explanation of the distributed agreement algorithm (research.microsoft.com)

4 points

15 years ago

240.

Top-ranked Papers in "Computer Science Overall" via MSR's Academic Search (academic.research.microsoft.com)

4 points

16 years ago