ReconOS64 - Hardware-Software Multithreading for Heterogeneous Platform FPGAs / by Lennart Clausing ; Reviewers: Prof. Dr. Marco Platzner, Prof. Dr. Sybille Hellebrand