Search Result
2019
|
|
|
[Ego19] L. Ego Memory Synchronization Techniques |
|
|
|
|
|
[Ego19a] L. Ego Memory Synchronization Techniques Presentation |
|
|
|
|
|
[Tiss19] S. Tissen Weak Memory Semantics |
|
|
|
|
|
[Tiss19a] S. Tissen Weak Memory Semantics Presentation |
2018
|
|
|
|
[Geor18] G. Georgopoulos Operational Semantics of Memory System Implementations Master Thesis |
2017
|
|
|
|
[Grue17] E. Grüner Systematic Testing and Stateless Model Checking |
|
|
|
|
|
[Leon17] V. Leonhardt Hoare Calculus for SIMT Programms |
|
|
|
|
|
[Leon17a] V. Leonhardt Hoare Calculus for SIMT Programs Presentation |
2016
|
|
|
|
[Geor16] G. Georgopoulos Memory Consistency Models of Modern CPUs |
|
|
|
|
|
[Geor16a] G. Georgopoulos Memory Consistency Models of Modern CPUs Presentation |
|
|
|
|
|
[Herr16] F. Herrmann State of the Art in Temporal Logic Verification |
|
|
|
|
|
[Herr16a] F. Herrmann State of the Art in Temporal Logic Verification Presentation |
2015
|
|
|
|
[Betz15] A. Betz x86 Memory Consistency |
|
|
|
|
|
[Bich15] F. Bichued Verification of Microprocessors Master Thesis |
|
|
|
|
|
[Froe15] J. Frömmer Hoare Calculi for Parallel Programs |
|
|
|
|
|
[Grei15] T. Greiner The use of weak consistency models in cloud storage |
|
|
|
|
|
[Klip15] N. Klipphahn Concurrent Model Checking -- Systematic testing/Stateless Model Checking |
|
|
|
|
|
[Klip15a] N. Klipphahn Concurrent Model Checking -- Systematic testing/Stateless Model Checking Presentation |
|
|
|
|
|
[Pahl15] P. Pahlevannejad Speculative Relaxation of Memory Consistency |
|
|
|
|
|
[Pahl15a] P. Pahlevannejad Speculative Relaxation of Memory Consistency Presentation |
|
|
|
|
|
[Stra15] J. Stratmann Implementation and Verification of IEEE-conform Floating-Point Arithmetic Master Thesis |
2014
|
|
|
|
[Heer14] M. Heer Assembler Code-Generierung aus synchronen Aktionen Bachelor Thesis |