Channel 9 - Entries tagged with EMIC Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with EMIC http://channel9.msdn.com/Tags/emic 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. http://channel9.msdn.com/Tags/emic en Sun, 12 Feb 2012 11:45:19 GMT Sun, 12 Feb 2012 11:45:19 GMT Rev9 7 1 25 EMIC - Popfly & Sensors Back in October, the European Microsoft Innovation Center celebrated its 5th anniversary with a reception at its offices in Aachen, Germany.  In addition to enjoying the party atmosphere, researchers were on hand to demo some of their current project.  I had my camera with me and made a video of two of the demos.

The first demo is shown by Marcel Tilly, Program Manager at EMIC.  He demonstrates a feature that was added to Microsoft Popfly called the alternative block.  Popfly is an online tool to build mashups, games, web applications and websites.  In Popfly, services and data are represented as blocks and to create a mashup you just combine the blocks. The alternative block that the EMIC researchers created recommends alternatives for other blocks that could be used in a mashup.

The second demo has to do with sensor networks and is being performed by Andreas Lachenmann, EMIC Software Design Engineer.  The EMIC team built a framework for sensor networks to program the sensor nodes.  Andreas shows us how they integrated it into Powerpoint and what the acceleration, light and pressure sensor nodes do to the program.

For more information on EMIC research, projects and partners, visit:
http://www.microsoft.com/EMIC

]]> http://channel9.msdn.com/Blogs/lorigros/EMIC-Popfly--Sensors Back in October, the European Microsoft Innovation Center celebrated its 5th anniversary with a reception at its offices in Aachen, Germany.  In addition to enjoying the party atmosphere, researchers were on hand to demo some of their current project.  I had my camera with me and made a video of two of the demos.The first demo is shown by Marcel Tilly, Program Manager at EMIC.  He demonstrates a feature that was added to Microsoft Popfly called the alternative block.  Popfly is an online tool to build mashups, games, web applications and websites.  In Popfly, services and data are represented as blocks and to create a mashup you just combine the blocks. The alternative block that the EMIC researchers created recommends alternatives for other blocks that could be used in a mashup.The second demo has to do with sensor networks and is being performed by Andreas Lachenmann, EMIC Software Design Engineer.  The EMIC team built a framework for sensor networks to program the sensor nodes.  Andreas shows us how they integrated it into Powerpoint and what the acceleration, light and pressure sensor nodes do to the program.For more information on EMIC research, projects and partners, visit:http://www.microsoft.com/EMIC 295 http://channel9.msdn.com/Blogs/lorigros/EMIC-Popfly--Sensors Thu, 08 Jan 2009 14:28:00 GMT http://channel9.msdn.com/Blogs/lorigros/EMIC-Popfly--Sensors Lori Grosland Lori Grosland 0 http://channel9.msdn.com/Blogs/lorigros/EMIC-Popfly--Sensors/RSS EMIC European Microsoft Innovation Center Popfly sensors 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).

]]> http://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). 1789 http://channel9.msdn.com/Blogs/Lori/EMIC-Software-Verification Wed, 17 Dec 2008 16:57:00 GMT http://channel9.msdn.com/Blogs/Lori/EMIC-Software-Verification Lori Grosland Lori Grosland 0 http://channel9.msdn.com/Blogs/Lori/EMIC-Software-Verification/RSS collaborative applied research de-de EMIC Germany RiSE software verification EMIC Celebrates 5th Anniversary Back in October I got the chance to go back to Aachen and visit EMIC - the European Microsoft Innovation Center.  To celebrate its 5th anniversary, EMIC hosted a reception at its offices, where guests had the opportunity to talk to researchers, check out demos of some of their current projects and enjoy food and drinks.  I had my video camera with me and captured some of the fun.

EMIC is a Microsoft Research & Development facility that focuses on collaborative applied research in Europe in the areas of enterprise, mobility, home, security, software verification and embedded systems.

For more information on EMIC research, projects and partners, visit:

http://www.microsoft.com/EMIC

]]> http://channel9.msdn.com/Blogs/lorigros/EMIC-Celebrates-5th-Anniversary Back in October I got the chance to go back to Aachen and visit EMIC - the European Microsoft Innovation Center.  To celebrate its 5th anniversary, EMIC hosted a reception at its offices, where guests had the opportunity to talk to researchers, check out demos of some of their current projects and enjoy food and drinks.  I had my video camera with me and captured some of the fun.EMIC is a Microsoft Research & Development facility that focuses on collaborative applied research in Europe in the areas of enterprise, mobility, home, security, software verification and embedded systems.For more information on EMIC research, projects and partners, visit:http://www.microsoft.com/EMIC 182 http://channel9.msdn.com/Blogs/lorigros/EMIC-Celebrates-5th-Anniversary Wed, 17 Dec 2008 11:32:00 GMT http://channel9.msdn.com/Blogs/lorigros/EMIC-Celebrates-5th-Anniversary Lori Grosland Lori Grosland 2 http://channel9.msdn.com/Blogs/lorigros/EMIC-Celebrates-5th-Anniversary/RSS EMIC European Microsoft Innovation Center 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 & 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

]]> http://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 & 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 170 http://channel9.msdn.com/Blogs/Lori/EMIC-Celebrates-5th-Anniversary Tue, 16 Dec 2008 17:08:00 GMT http://channel9.msdn.com/Blogs/Lori/EMIC-Celebrates-5th-Anniversary Lori Grosland Lori Grosland 0 http://channel9.msdn.com/Blogs/Lori/EMIC-Celebrates-5th-Anniversary/RSS collaborative applied research de-de EMIC European Microsoft Innovation Center Germany Sensor Network Research at the EMIC What do limping cows and elderly home care have in common?  It turns out, they're both the target of research projects involving sensor networks at the European Microsoft Innovation Center (EMIC) in Aachen, Germany.  In this video, Matthias Neugebauer (Program Manager at the EMIC), tells us all about it. 

Here are some of the topics we covered in our conversation:

00:00:37 EMIC Overview

00:01:30 Overview of sensor network projects (EMERGE and WASP)
00:01:55 Sensor network description
00:03:00 EMERGE project (elderly home care)

  • 00:04:25 Description of the EMERGE sensor network
  • 00:08:10 Application that displays collected data
  • 00:08:30 Use of Decentralized Software Services Protocol (DSSP) and the .NET Micro Framework
  • 00:09:35 Displaying raw signals from the pressure foil
  • 00:10:25 Consolidated data showing sleep activity
  • 00:13:14 Using live data

00:16:40 Sensor network development challenges

00:18:29 Sensor network architecture approach

00:22:15 WASP project (applying sensor networks to detect limping cows )

]]> http://channel9.msdn.com/Blogs/cheller/Sensor-Network-Research-at-the-EMIC What do limping cows and elderly home care have in common?  It turns out, they're both the target of research projects involving sensor networks at the European Microsoft Innovation Center (EMIC) in Aachen, Germany.  In this video, Matthias Neugebauer (Program Manager at the EMIC), tells us all about it.  Here are some of the topics we covered in our conversation: 00:00:37 EMIC Overview 00:01:30 Overview of sensor network projects (EMERGE and WASP) 00:01:55 Sensor network description 00:03:00 EMERGE project (elderly home care) 00:04:25 Description of the EMERGE sensor network 00:08:10 Application that displays collected data 00:08:30 Use of Decentralized Software Services Protocol (DSSP) and the .NET Micro Framework 00:09:35 Displaying raw signals from the pressure foil 00:10:25 Consolidated data showing sleep activity 00:13:14 Using live data 00:16:40 Sensor network development challenges 00:18:29 Sensor network architecture approach 00:22:15 WASP project (applying sensor networks to detect limping cows ) 1596 http://channel9.msdn.com/Blogs/cheller/Sensor-Network-Research-at-the-EMIC Mon, 03 Nov 2008 08:37:00 GMT http://channel9.msdn.com/Blogs/cheller/Sensor-Network-Research-at-the-EMIC Catherine Heller Catherine Heller 0 http://channel9.msdn.com/Blogs/cheller/Sensor-Network-Research-at-the-EMIC/RSS .NET Micro Framework Embedded EMIC EMIC - Information Overload and Crisis of Choice We are drowning in a sea of information overload.  Every day, television channels, email, books and music assault our senses with far too much content.  The volume of content on the internet and generated by applications is literally exploding.  Not only traditional media but millions of individual users are putting their own content on the web.  The massive popularity of YouTube is just one example of this phenomenon.  In this flood, how do you distinguish between content that matters to you from all the rest?  How can you easily discover information, multimedia content and entertainment that matches your interests or preferences?  How do you deal with this crisis of choice?

Well, Software Engineers at the European Microsoft Innovation Center (EMIC) are working on a project that allows for the quick creation of prototype solutions that help people solve this crisis of choice.

In this video, Ron Mevissen, Lead Developer of the EMIC Home team, gives an introduction to the topic of information overload and the project that he and colleagues are working on.  He also demonstrates the Media Center recommender prototype that helps you find interesting TV programs.  After that, Stefan Hirtbach shows a recommender for Outlook that helps you decide the importance of email - which email should I read now, which one can wait.  Rich Hanbidge shows a recommender for Xbox Live that helps you find interesting items such as downloadable videos, games, etc. offered by Xbox Live.  Rene Hülswitt demos the Virtual Earth recommender that helps find interesting POI (points of interests) such as restaurants or tourist attractions near you.

The EMIC in Aachen, Germany was founded in 2003 and is a Microsoft Research & Development facility.  The German lab is unique to Microsoft in its focus on collaborative applied research in Europe.  EMIC works in the context of development programs sponsored by the European Commission and the German Ministry of Education and Research (BMBF). Its research is focused on enterprise, mobility, home, security, software verification and embedded systems.

For more information on EMIC research, projects and partners, visit:
http://www.microsoft.com/EMIC

To find out more about projects at EMIC, check out these videos over on Channel 9…
EMIC - Specialized Workflow Foundation Activity
http://channel9.msdn.com/posts/Lori/EMIC-Specialized-Workflow-Foundation-Activity/
EMIC - Delegation Framework
http://channel9.msdn.com/posts/Lori/EMIC-Delegation-Framework/

]]> http://channel9.msdn.com/Blogs/lorigros/EMIC-Information-Overload-and-Crisis-of-Choice We are drowning in a sea of information overload.  Every day, television channels, email, books and music assault our senses with far too much content.  The volume of content on the internet and generated by applications is literally exploding.  Not only traditional media but millions of individual users are putting their own content on the web.  The massive popularity of YouTube is just one example of this phenomenon.  In this flood, how do you distinguish between content that matters to you from all the rest?  How can you easily discover information, multimedia content and entertainment that matches your interests or preferences?  How do you deal with this crisis of choice? Well, Software Engineers at the European Microsoft Innovation Center (EMIC) are working on a project that allows for the quick creation of prototype solutions that help people solve this crisis of choice.In this video, Ron Mevissen, Lead Developer of the EMIC Home team, gives an introduction to the topic of information overload and the project that he and colleagues are working on.  He also demonstrates the Media Center recommender prototype that helps you find interesting TV programs.  After that, Stefan Hirtbach shows a recommender for Outlook that helps you decide the importance of email - which email should I read now, which one can wait.  Rich Hanbidge shows a recommender for Xbox Live that helps you find interesting items such as downloadable videos, games, etc. offered by Xbox Live.  Rene Hülswitt demos the Virtual Earth recommender that helps find interesting POI (points of interests) such as restaurants or tourist attractions near you.The EMIC in Aachen, Germany was founded in 2003 and is a Microsoft Research & Development facility.  The German lab is unique to Microsoft in its focus on collaborative applied research in Europe.  EMIC works in the context of development programs sponsored by the European Commissi 1254 http://channel9.msdn.com/Blogs/lorigros/EMIC-Information-Overload-and-Crisis-of-Choice Fri, 15 Aug 2008 13:18:00 GMT http://channel9.msdn.com/Blogs/lorigros/EMIC-Information-Overload-and-Crisis-of-Choice Lori Grosland Lori Grosland 0 http://channel9.msdn.com/Blogs/lorigros/EMIC-Information-Overload-and-Crisis-of-Choice/RSS EMIC European Microsoft Innovation Center Recommender research information overload crisis of choice European Microsoft Innovation Center European Microsoft Innovation Center (EMIC).  While I was there, I had the chance to speak with some of the Microsoft scientists and engineers working in Aachen and find out more about what kind of projects and research they are doing.  In this video, I chat with John Lefor, Director of EMIC.  He fills me in on the Innovation Center and where it fits into the scheme of things at Microsoft.

EMIC was founded in 2003 and is a Microsoft Research & Development facility.  The German lab is unique to Microsoft in its focus on collaborative applied research in Europe.  EMIC works in the context of development programs sponsored by the European Commission and the German Ministry of Education and Research (BMBF). Its research is focused on enterprise, mobility, home, security, software verification and embedded systems.

For more information on EMIC research, projects and partners, visit:
http://www.microsoft.com/EMIC
]]> http://channel9.msdn.com/Blogs/lorigros/European-Microsoft-Innovation-Center Back in June I went to Aachen, Germany to visit the European Microsoft Innovation Center (EMIC).  While I was there, I had the chance to speak with some of the Microsoft scientists and engineers working in Aachen and find out more about what kind of projects and research they are doing.  In this video, I chat with John Lefor, Director of EMIC.  He fills me in on the Innovation Center and where it fits into the scheme of things at Microsoft.EMIC was founded in 2003 and is a Microsoft Research & Development facility.  The German lab is unique to Microsoft in its focus on collaborative applied research in Europe.  EMIC works in the context of development programs sponsored by the European Commission and the German Ministry of Education and Research (BMBF). Its research is focused on enterprise, mobility, home, security, software verification and embedded systems.For more information on EMIC research, projects and partners, visit:http://www.microsoft.com/EMIC 131 http://channel9.msdn.com/Blogs/lorigros/European-Microsoft-Innovation-Center Fri, 15 Aug 2008 07:38:00 GMT http://channel9.msdn.com/Blogs/lorigros/European-Microsoft-Innovation-Center Lori Grosland Lori Grosland 0 http://channel9.msdn.com/Blogs/lorigros/European-Microsoft-Innovation-Center/RSS EMIC European Microsoft Innovation Center research