Department Informatik

User-centric, Secure Information Flow Management in Enterprise Systems (USIFES) (USIFES) SPP 1496: Reliably Secure Software Systems - Zuverlässig sichere Softwaresysteme Aug. 1, 2010 - Aug. 30, 2012 Sicherheit in eingebetteten IP-basierten Systemen (SEIS) Jan. 1, 2009 - June 30, 2012 Intraoperative Simulation der Hämodynamik in Aneurysmen im menschlichen Gehirn Jan. 1, 2007 - May 31, 2012 Beweistheorie in der Deskriptiven Komplexitätstheorie Jan. 1, 2000 - May 31, 2012 OptiNum-Grid: Optimierung technischer Systeme und naturwissenschaftlicher Modelle mit Hilfe numerischer Simulationen im Grid (BMBF 514 PT-) June 1, 2009 - May 31, 2012 Serielle Hochgeschwindigkeitsverbindungen für medizinische Bildverarbeitung April 15, 2008 - April 30, 2012 CUDA Research Center Feb. 1, 2012 - March 31, 2012 DQ-Step - Verbesserung der Datenqualität bei AREVA NP / Abteilung NEM-G (DQ-Step) Jan. 15, 2009 - Feb. 15, 2012 Master Online Digitale Forensik Jan. 1, 2009 - Jan. 1, 2012 A Domain-Specific Language and GPU Target Code Generator for Image Processing Applications (HIPAcc) Jan. 1, 2009 - Jan. 1, 2012