Department Informatik

Design methodology for embedded system made upon small networks of hardware reconfigurable nodes and connections (ReCoNets) SPP 1148: Rekonfigurierbare Rechensysteme June 1, 2003 - May 31, 2009 Design of special purpose processor architectures (BUILDABONG) Oct. 1, 1998 - Jan. 31, 2009 HHG - Hierarchical Hybrid Grids (HHG) Jan. 1, 2006 - Jan. 1, 2009 The pe Rigid Body Physics Engine (PE) Jan. 1, 2006 - Jan. 1, 2009 SpecVer: Specification for Verification of complex systems (SpecVer) Oct. 1, 2005 - Sept. 30, 2008 Expression Templates für partielle Differentialgleichungen March 1, 2003 - Aug. 1, 2008 SystemCoDesigner: System level design space exploration for embedded systems (SystemCoDesigner) April 1, 2005 - April 1, 2008 SysteMoC: Representing models of computation in SystemC (SysteMoC) April 1, 2005 - April 1, 2008 Network Calculus and Optimization March 1, 2004 - March 1, 2007 Softwarezuverlässigkeitsbewertung unter Berücksichtigung der mit vorgefertigten Komponenten gewonnenen Betriebserfahrung May 1, 2003 - May 1, 2006