Search: research.microsoft.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

601.

Going Against the Flow for Typeless Programming (research.microsoft.com)

1 point

13 years ago

602.

Microsoft Research: Pex - Automated White box Testing for .NET (research.microsoft.com)

1 point

17 years ago

603.

How ancient Greek parliaments implemented distributed systems (research.microsoft.com)

1 point

13 years ago

604.

Useful Live Programming (research.microsoft.com)

1 point

13 years ago

605.

Usable Live Programming (research.microsoft.com)

1 point

13 years ago

606.

An online scheduler for hardware accelerators (research.microsoft.com)

1 point

13 years ago

607.

Instant Inkjet Circuits: Lab-based Inkjet Printing to Support Rapid Prototyping (research.microsoft.com)

1 point

13 years ago

608.

Instant Inkjet Circuits: Lab-based Inkjet Printing to Support Rapid Prototyping (research.microsoft.com)

1 point

13 years ago

609.

Coq: The world’s best macro assembler (research.microsoft.com)

1 point

13 years ago

610.

Language detection in tweets improved (Microsoft research) (research.microsoft.com)

1 point

13 years ago

611.

TimeStream: Reliable Stream Computation in the Cloud (research.microsoft.com)

1 point

13 years ago

612.

Far Out: Predicting Long-Term Human Mobility (research.microsoft.com)

1 point

13 years ago

613.

JSMeter: Why you can't trust the benchmarks (research.microsoft.com)

1 point

13 years ago

614.

MSR Public Downloads (research.microsoft.com)

1 point

13 years ago

615.

Fun with type functions (research.microsoft.com)

1 point

17 years ago

616.

Software Components: Only The Giants Survive [pdf] (research.microsoft.com)

1 point

13 years ago

617.

SNARF, the Social Network and Relationship Finder (research.microsoft.com)

1 point

17 years ago

618.

Innovation & Opportunity—The Contribution of Computing to Improving Our World (research.microsoft.com)

1 point

13 years ago

619.

Microsoft Research Downloads (research.microsoft.com)

1 point

13 years ago

620.

P: Safe Asynchronous Event-Driven Programming (research.microsoft.com)

1 point

13 years ago

621.

Interesting Papers (Graphics) (research.microsoft.com)

1 point

13 years ago

622.

Confessions of a Used Programming Language Salesman[pdf] (research.microsoft.com)

1 point

13 years ago

623.

Pinocchio: Nearly Practical Verifiable Computation (research.microsoft.com)

1 point

13 years ago

624.

The TLA+ Hyperbook released (research.microsoft.com)

1 point

13 years ago

625.

Statistical Image Completion (research.microsoft.com)

1 point

13 years ago

626.

ICFP Contest 2013: Aug 8th to Aug 11th. MS Research is organizing? (research.microsoft.com)

1 point

13 years ago

627.

The Bw-Tree: A B-tree for New Hardware (research.microsoft.com)

1 point

13 years ago

628.

No one ever got fired for buying a cluster [PDF whitepaper] (research.microsoft.com)

1 point

13 years ago

629.

ICFP Programming Contest 2013: August 8—11 (research.microsoft.com)

1 point

13 years ago

630.

A visualization-enhanced graphical UI for geospatial resource discovery (research.microsoft.com)

1 point

13 years ago