Search Result
2019
|
|
|
[Senf19a] M. Senftleben Modelling Memory Consistency Models for Formal Verification Presentation |
2016
|
|
|
|
[SeSc16a] M. Senftleben and K. Schneider Specifying Weak Memory Consistency with Temporal Logic Presentation |
2014
|
|
|
|
[BhSS14a] N. Bhardwaj and M. Senftleben and K. Schneider Abacus – A Processor Family for Education Presentation |
|
|
|
|
|
[FMSS14a] F. Furbach and R. Meyer and K. Schneider and M. Senftleben Memory Model-aware Testing -- A Unified Complexity Analysis Presentation |
2012
|
|
|
|
[Senf12a] M. Senftleben Dataflow Programming on GPUs Presentation |