Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Taming the killer microsecond
2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2018, p.627-640
2018
Volltextzugriff (PDF)

Swarm model checking on the GPU
International journal on software tools for technology transfer, 2020-10, Vol.22 (5), p.583-599
2020
Volltextzugriff (PDF)


Practical Model Checking on FPGAs
ACM transactions on reconfigurable technology and systems, 2021-07, Vol.14 (2), p.1-18
2021
Volltextzugriff (PDF)

2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA), 2020, p.187-198
2020
Volltextzugriff (PDF)

Swarm Model Checking on the GPU
Model Checking Software, 2019, Vol.11636, p.94-113
2019
Volltextzugriff (PDF)

2018 28th International Conference on Field Programmable Logic and Applications (FPL), 2018, p.435-4357
2018
Volltextzugriff (PDF)

2019 29th International Conference on Field Programmable Logic and Applications (FPL), 2019, p.51-58
2019
Volltextzugriff (PDF)

Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018, p.87-96
2018
Volltextzugriff (PDF)