Projekte

Das Center of Comptence Tax Technology (CoC-TT) beinhaltet eine zielgerichtete thematische Zusammenarbeit zwischen dem Deutschen Forschungszentrum für …

Ziel des CloudiFacturing Projekts ist die Verbesserung der Wettbewerbsfähigkeit und Ressourceneffizienz von produzierenden KMU und die Förderung der …

Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen …

ProThOS ist ein vom BMBF gefördertes Projekt für "Grundlagenorientierte Forschung für HPC-Software im Hoch- und Höchstleistungsrechnen". …

Metacca ist ein vom BMBF gefördertes Projekt für "Grundlagenorientierte Forschung für HPC-Software im Hoch- und Höchstleistungsrechnen". Ziel von …

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate …

Projekt Die Ziele und Möglichkeiten zum Einsatz computergestützter Technologien für die additive Fertigung (CAxMan) sind sehr vielfältig. Dieses …

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende …

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen …