 |
| 12th Twente Student Conference on IT |
Available Project Proposals
- Confluence Detection
- Program Readability Measuring with GROOVE
- Separation Logic for Multithreaded Java Programs
- Automatic Parallellisation of Automata
- UPPAAL Static Analyzer
- A Strategy for a Timed Game as Timed Automaton
- A Compositional Framework for Dynamic Reliability Block Diagrams
- High Level Control Flow Semantics Deļ¬nition
- ToLERo: ToRX-tested LEGO Robots
- A Java Library of (Parallel) Graph Algorithms
- Evaluation of Cache-Oblivious Data Structures
- Storage Hierarchies in Modern Hardware
- Playing Parity Games on the Sony PlayStation 3