Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Microsoft Research ブログ
How to Build a Smart World
By Suzanne Ross, Writer, Microsoft Research Isaac Asimov, the famous science fiction writer, had a vision of a world called Gaia. Gaia was a world that was aware of its inhabitants — it could heal…
動画
A CLP Approach to Modelling Systems
We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes. A first objective is that the method be broadly applicable. A system can be described in terms…
