Dipl.-Inform. Jochen Schimmel
- Scientific Staff Member
- Room: 354
- jochen schimmel ∂ kit edu
Diplomarbeit (2008): Parallelisierung von Graphersetzungssystemen
Title | Author | State |
---|---|---|
Automatische Korrektur von Wettlaufbedingungen | Atanas Dimitrov | |
Automatische Testgenerierung für parallele Programme durch dynamische Analyse | Filip Dimitrov | |
Automatisierte Parallelisierung mit AutoFutures | Jochen Huck | |
Laufzeit-Tuning des A*-Algorithmus | Philip Haußmann |
Title | Kind of Publication | Year |
---|---|---|
An Evaluation of Data Race Detectors Using Bug Repositories | Konferenzartikel |
2013 |
Automatic Generation of Parallel Unit Tests | Konferenzartikel |
2013 |
Automatic Parallelization using AutoFutures | Konferenzartikel |
2012 |
Combining Unit Tests for Data Race Detection | Konferenzartikel |
2015 |
Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads | Konferenzartikel |
2013 |
Exploiting Cache Traffic Monitoring for Run-Time Race Detection | Konferenzartikel |
2011 |
Game Programming and XNA in Software Engineering Education | Konferenzartikel |
2008 |
Gene Expression with General Purpose Graph Rewriting Systems | Konferenzartikel |
2009 |