maximilian senftleben
Tags:
(all)
#3d
#browser
#car
#comm
#delphi
#design
#dev
#edu
#game
#hw
#linux
#mail
#mobile
#multimedia
#rpi
#sec
#server
#smarthome
#sync
#win
2019.06
07
Doctoral Thesis - Modelling Memory Consistency Models for Formal Verification
#edu
2013.03
30
Master Thesis - Operational Characterization of Weak Memory Consistency Models
#edu
2011.03
30
Bachelor Thesis - Web-based instruction-level simulation of a parameterized dynamic processor
#edu