Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Kenneth Harris, a NASA veteran who worked on ...

The difference between distributed computing and concurrent programming is a common area of confusion as there is a significant amount of overlap between the two when you set out to accomplish ...

It's been two years since Microsoft Chairman Bill Gates talked up Dryad, Microsoft's concurrent-programming competitor to Google's MapReduce and Apache Hadoop. But this week, Dryad was back on the ...

TLA+ is a high-level programming language used to model complex, concurrent, and distributed programs and systems. It was created by Leslie Lamport and is backed by Amazon Web Services, Microsoft, and ...

Transactional memory systems represent a paradigm shift in concurrent programming by abstracting low-level lock management and enabling sequences of operations to be executed as atomic transactions.

Microsoft announced last week a new version of its Robotics Developer Studio (RDS) suite. Company officials emphasized the fact Microsoft is making the R3 version of RDS available freely to all -- ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

50 years ago this year, Carl Hewitt invented the actor model, a computational model embracing non-determinism, which assumes all communication is asynchronous. Non-determinism enables concurrency, ...

Leslie Lamport, a Microsoft Research principal, has been named the winner of the 2013 ACM A.M. Turing Award, also known as the “Nobel Prize in Computing.” The computer scientist was recognized by the ...