Hasso-Plattner-Institut
Hasso-Plattner-Institut
  
Login
 

24.10.2012 - Sino-German C-HPC Workshop 2012

    no official weekly meeting

31.10.2012 - Public holiday

    no official weekly meeting

07.11.2012 - Cancelled due to Illness of Speaker

14.11.2012 - FutureSoC Lab Day

    no official weekly meeting

21.11.2012 - Johannes Dyck

  • Verification of Graph Transformation Systems and Inductive Invariants

28.11.2012 - Marcel Taeumel & Thomas Kowark

  • Marcel: Direct Manipulation Interfaces
  • Thomas: SeCold - A Linked Data Platform for Mining Software Repositories

05.12.2012 - Vadym Borovskiy

  • Object Support in Column-Oriented In-memory Databases

12.12.2012 - Jan-Arne Sobania

  • An Introduction to Many-Core I/O Virtualization

19.12.2012 - Gregor Berg

  • Decoupling Stakeholder Interactions: Using Virtual Prototypes for Model-Based Scenario Synthesis

02.01.2013 - Christmas break

    no official weekly meeting

09.01.2013 - Pedro Lopes & Tim Felgentreff

  • Tim: Kaleidoscope - a constraint-imperative programming language
  • Pedro: Muscle and Brain-Computer Interfaces in Human Computer Interaction

16.01.2013 - Dustin Lange

  • Effective and Efficient Similarity Search in Databases

23.01.2013 - Evellin Cardoso

  • Related Approaches in Goal-oriented Business Process Management

30.01.2013 - Ibrahim Takouna

  • Energy-aware Resource Management in Virtualized Data Centers

06.02.2013 - Stefan Neumann

  • Scalable Timing-Analysis of Component-Based Real-Time Embedded Systems

13.02.2013 - Laurence Tratt

  • Towards language composition