x Take the InfoQ Survey !

The Yin and Yang of Hardware Heterogeneity: Can Software Survive?

Posted by Kathryn S. McKinley  on  Jan 12, 2014

Kathryn S. McKinley discusses research approaches and results that abstract, choose, and exploit hardware heterogeneity providing computational power at low energy consumption levels.

Reverend Bayes, Meet Countess Lovelace: Machine Learning and Programming

Posted by Andy Gordon  on  Jan 22, 2013 1

Andy Gordon discusses machine learning using functional programming, explaining how Infer.NET Fun turns the succinct syntax of F# into an executable modeling language for Bayesian machine learning.

F# Big Data Scripting

Posted by Matthew Moloney  on  Jan 18, 2013 1

Matthew Moloney shares some of the F# tools built at Microsoft Research for dealing with Big Data.

Staged Program Development

Posted by K. Rustan M. Leino  on  Jan 11, 2013

K. Rustan M. Leino advocates developing in stages by using languages that offer both design level abstractions – types, contracts, higher-level constructs, ghost constructs- and implementation ones.

General Feedback
Marketing and all content copyright © 2006-2015 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy