Project Details
Projekt Print View

GRK 623:  Quality Guarantees for Computer Systems

Subject Area Computer Science
Term from 2000 to 2009
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 273089
 
The research in the research training group aims at a comprehensive and rigorous notion of quality guarantees that comprises predictableruntime, provable correctness, and adequate accuracy. This challenging theme is addressed in the form of special, particularly important and potentially insightful, problems from a variety of areas: computer graphics, database and information systems, computer networking, efficient algorithms, cryptography and computer security, logic of programming, programming languages and compilers, programming, computer architecture, image processing, and software engineering.Example problems where especially the tensions among the above three quality dimensions are of high interest include efficiency issues in computer-aided verification, e.g., of security properties, analytical techniques towards response-time guarantees of real-time systemsand network applications, and a deeper understanding of the tradeoffsbetween the efficiency and the precision of information retrieval in digital libraries and on the web.
DFG Programme Research Training Groups
Applicant Institution Universität des Saarlandes
 
 

Additional Information

Textvergrößerung und Kontrastanpassung