Filter by
Canonical Algebraic Generators in Automata Learning
Stefan Jens Zetzsche.
PhD Thesis, University College London. 2023
Resource Sharing for Verified High-Level Synthesis.
Michalis Pardalos, Yann Herklotz, and John Wickerson.
IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2022, 1-6. 2022
Specifying and Verifying Persistent Transactional Memory
Eleni Vafeiadi Bila.
PhD Thesis, University of Surrey. 2023
by