Universitšt Karlsruhe
Former Projects
ACODA
AJACS
Applying Java to Automotive Control Systems
Aktionsplan Informatik
funded by DFG within the "Emmy Noether-Programm"
aXMLerate
aXMLerate - a toolbox for fast XML processing
CATE
Component Analysis and Transformation Engine
CGGG
Code-Generator Generator for Graphs
COMPARE
COMpiler generation for PARrallel machinEs
COMPOST
COMPOST - The Composition System
CRS
Compiler Research System
EASYCOMP
Easy Composition in Future Generation Component Systems
Elitef√∂rderprogramm f√ľr Postdoktoranden
Postdoc-Program, grant by the Landesstiftung Baden-W√ľrttemberg
Firm
Graph Based SSA Intermediate Language with Explicit Memory Dependencies
Fynesse
Autonomous learning of control strategies.
GK Naturkatastrophen
Fuzzy modeling of natural disasters
Graph Rewriting
Tools, Applications and Methods for Graph Rewriting
Informatik I Vorbereitung (WS 02/03)
Preperation of computer science lectures I
IPD Web Reengineering
Software ages. Even our old 'new' web pages. Maintenance made reengineering inevitable.
IPD Web-Site
Dynamische Generierung von HTML-Dokumenten aus Datenbankinformationen
Jack
Integration of Jikes and Firm -- the JAva Compiler Karlsruhe
JOSES
JAVA and CoSy Technology for Embedded Systems
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
Programming Java on a Meta-Level
Sather-K
Sather-K
Verifix
Construction of Correct Compilers
VizzEditor
VizzEditor - A Framework for the rapid development of program visualisations
Login
Links