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...
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext



2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2022, p.1-9
2022

Future Data and Security Engineering, p.215-230
Link zum Volltext

Proceedings of the 2014 ACM SIGSAC Conference on computer and communications security, 2014, p.1329-1341
2014
Link zum Volltext

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.185-196
2016
Link zum Volltext

2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2022, p.1-9
2022


Proceedings of the 2014 ACM SIGSAC Conference on computer and communications security, 2014, p.1105-1116
2014
Link zum Volltext

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA), 2020, p.515-528
2020
Link zum Volltext

2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO), 2022, p.1027-1041
2022
Link zum Volltext


Design Automation Conference, 2010, p.731-736
2010


2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA), 2020, p.913-925
2020
Link zum Volltext

2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO), 2022, p.423-440
2022
Link zum Volltext



2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO), 2022, p.1126-1143
2022
Link zum Volltext

Tailored Page Sizes
2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA), 2020, p.900-912
2020
Link zum Volltext

Computer Supported Education, p.274-292
Link zum Volltext

Open Access
Asynchronous Extensions of HyperLTL
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Aktive Filter
SpracheNiederländisch
PublikationsformArtikel
ThemaComputer Science, Software Engineering
ThemaScience & Technology
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt