Channel 9 - Entries tagged with collaborative applied researchMicrosofthttp://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.pngChannel 9 - Entries tagged with collaborative applied researchhttps://channel9.msdn.com/Tags/collaborative+applied+research
Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them.https://channel9.msdn.com/Tags/collaborative+applied+research
enSun, 02 Aug 2015 20:52:47 GMTSun, 02 Aug 2015 20:52:47 GMTRev93125Trident WorkbenchIt can be found at: Trident Workbench

]]>https://channel9.msdn.com/Blogs/Sam/Trident-WorkbenchHey, take a look at the Trident Workbench from Microsoft Research. It is a great idea, and with time it looks like it will evolve into a great tool for scienitists and researchers.It can be found at:
Trident Workbenchhttps://channel9.msdn.com/Blogs/Sam/Trident-Workbench
Fri, 30 Oct 2009 22:22:00 GMThttps://channel9.msdn.com/Blogs/Sam/Trident-WorkbenchSam StokesSam Stokes2https://channel9.msdn.com/Blogs/Sam/Trident-Workbench/RSSCollaborationcollaborative applied researchescienceResearchEMIC - Software VerificationToday – more than ever – complex software architectures, configurations and the implications of parallel software running on multi-core hardware call for a new methodology to make sure that software is of high-quality and does what it is was designed for.
By using a formal approach and going beyond regular software testing the verification team at the European Microsoft Innovation Center (EMIC), Aachen, Germany are enhancing software verification methods and tools
and applying them to analyze 50,000 lines of code in a real life scenario of a market-ready product. This approach is what makes the project unique.

Thomas Santen and Stephan Tobies from EMIC explain what formal software verification is about and how it can help to build reliable systems. The technology they explain is being developed jointly at EMIC and Microsoft’s Research
in Software Engineering group (RiSE) in Redmond. Their tool VCC verifies concurrent, low-level C code that is annotated by contracts specifying its intended behavior.

Thomas and Stephan work in the hypervisor verification project
Verisoft, which is a collaboration of EMIC, RiSE, along with Wolfgang Paul, professor for computer architecture at the Saarland University in Saarbrücken, Germany. The aim of this project is to verify the hypervisor kernel of Microsoft
Hyper-V, Microsoft’s virtualization product. The hypervisor kernel is a small multi-processor operating system micro kernel with memory and thread management but without device drivers. The implementation
of this kernel consists of roughly 60 thousand lines of highly optimized C and x64 assembler code.

For further information, please contact Thomas Santen (Thomas.Santen-at-microsoft.com) or Stephan Tobies (Stephan.Tobies-at-microsoft.com).
]]>https://channel9.msdn.com/Blogs/Lori/EMIC-Software-Verification
Today – more than ever – complex software architectures, configurations and the implications of parallel software running on multi-core hardware call for a new methodology to make sure that software is of high-quality and does what it is was designed for.
By using a formal approach and going beyond regular software testing the verification team at the European Microsoft Innovation Center (EMIC), Aachen, Germany are enhancing software verification methods and tools
and applying them to analyze 50,000 lines of code in a real life scenario of a market-ready product. This approach is what makes the project unique.
Thomas Santen and Stephan Tobies from EMIC explain what formal software verification is about and how it can help to build reliable systems. The technology they explain is being developed jointly at EMIC and Microsoft’s Research
in Software Engineering group (RiSE) in Redmond. Their tool VCC verifies concurrent, low-level C code that is annotated by contracts specifying its intended behavior.
Thomas and Stephan work in the hypervisor verification project
Verisoft, which is a collaboration of EMIC, RiSE, along with Wolfgang Paul, professor for computer architecture at the Saarland University in Saarbrücken, Germany. The aim of this project is to verify the hypervisor kernel of Microsoft
Hyper-V, Microsoft’s virtualization product. The hypervisor kernel is a small multi-processor operating system micro kernel with memory and thread management but without device drivers. The implementation
of this kernel consists of roughly 60 thousand lines of highly optimized C and x64 assembler code.
For further information, please contact Thomas Santen (Thomas.Santen-at-microsoft.com) or Stephan Tobies (Stephan.Tobies-at-microsoft.com).
1789https://channel9.msdn.com/Blogs/Lori/EMIC-Software-Verification
Wed, 17 Dec 2008 16:57:00 GMThttps://channel9.msdn.com/Blogs/Lori/EMIC-Software-VerificationLori RitterLori Ritter0https://channel9.msdn.com/Blogs/Lori/EMIC-Software-Verification/RSScollaborative applied researchde-deEMICGermanyRiSEsoftware verificationEMIC Celebrates 5th AnniversaryThe European Microsoft Innovation Center (EMIC) recently celebrated its 5th anniversary with a reception at its offices in Aachen, Germany. At the party, guests had the opportunity to talk to researchers, check out demos of some of their current projects
and enjoy food and drinks. EMIC is a Microsoft Research & Development facility that focuses on collaborative applied research in Europe.

]]>https://channel9.msdn.com/Blogs/Lori/EMIC-Celebrates-5th-Anniversary
The European Microsoft Innovation Center (EMIC) recently celebrated its 5th anniversary with a reception at its offices in Aachen, Germany. At the party, guests had the opportunity to talk to researchers, check out demos of some of their current projects
and enjoy food and drinks. EMIC is a Microsoft Research &amp; Development facility that focuses on collaborative applied research in Europe.
For more information on EMIC research, projects and partners, visit:
http://www.microsoft.com/EMIC
170https://channel9.msdn.com/Blogs/Lori/EMIC-Celebrates-5th-Anniversary
Tue, 16 Dec 2008 17:08:00 GMThttps://channel9.msdn.com/Blogs/Lori/EMIC-Celebrates-5th-AnniversaryLori RitterLori Ritter0https://channel9.msdn.com/Blogs/Lori/EMIC-Celebrates-5th-Anniversary/RSScollaborative applied researchde-deEMICEuropean Microsoft Innovation CenterGermany