Technische Fakultät

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 Activity Cellular mechanical metamaterials Jan. 1, 2005 - Jan. 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 DIME - Datenlokale Iterationsverfahren zur effizienten Lösung partieller Differentialgleichungen (DIME) June 1, 2000 - April 30, 2006 Lattice-Boltzmann simulation and visualization of free surface flows Feb. 14, 2004 - Dec. 31, 2005 Lattice Boltzmann Methoden in der Nanotechnologie Oct. 1, 2004 - Dec. 31, 2005