Universität Karlsruhe
Abgeschlossene Projekte
ACODA
Optimierung dynamischer Datenstrukturen bezĂŒglich ihrer Cacheleistung
AJACS
Applying Java to Automotive Control Systems
Aktionsplan Informatik
gefördert von der DFG im Rahmen des Emmy Noether-Programms
aXMLerate
aXMLerate - ein Werkzeugkasten zur schnellen XML Verarbeitung
CATE
Analyse- und Transformationsarchitektur fĂŒr Komponentensysteme
CGGG
CodeGeneratorGenerator fĂŒr Graphen
COMPARE
COMpiler generation for PARrallel machinEs
COMPOST
COMPOST - Das Kompositionssystem
CRS
Compiler Research System
EASYCOMP
Easy Composition in Future Generation Component Systems
Eliteförderprogramm fĂŒr Postdoktoranden
Postdoc-Programm, gefördert von der Landesstiftung Baden-WĂŒrttemberg
Firm
Graphbasierte SSA Zwischensprache mit expliziten SpeicherabhÀngigkeiten
Fynesse
SelbstÀndiges Lernen von Regelstrategien.
GK Naturkatastrophen
Unscharfe Modellierung von Naturkatastrophen
Graph Rewriting
Werkzeuge, Anwendungen und Methoden fĂŒr die Graphersetzung
Informatik I Vorbereitung (WS 02/03)
Vorbereitung fĂŒr die Informatik I - Vorlesung
IPD Web Reengineering
Software altert. So auch unsere alten 'neuen Webseiten'. Wartung und Pflege erzwungen eine Runderneuerung.
IPD Web-Site
Dynamische Generierung von HTML-Dokumenten aus Datenbankinformationen
Jack
Integration von Jikes und Firm -- Der JAva Compiler Karlsruhe
JOSES
JAVA und CoSy Technologie für Eingebettete Systeme
MOCKA
MOdula-2 Compiler of KArlsruhe
MOST
Media Oriented Systems-Transport
OMI/FAME
Fast Architectural Migration for Embedded systems
OMI/SAFE
Safety for Real-Time Embedded
Reasoning With Vague And Uncertain Terms
RECODER
Java-Programmieren auf der Meta-Ebene
Sather-K
Sather-K
Verifix
Konstruktion korrekter Übersetzer
VizzEditor
VizzEditor - Ein Rahmen zur schnellen Entwicklung von Programmvisualisierungen
Login
Links