Suivre
Michalis Pardalos
Michalis Pardalos
Imperial College London
Adresse e-mail validée de imperial.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
Resource Sharing for Verified High-Level Synthesis
M Pardalos, Y Herklotz, J Wickerson
2022 IEEE 30th Annual International Symposium on Field-Programmable Custom …, 2022
12022
Formally verified resource sharing for High Level Synthesis
M Pardalos, J Wickerson, JJ Davis
Master’s thesis, 2021
12021
Nicholas Beckwith, Jialiang Zhang and Jing Li IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS.............. 29 Ecenur Ustun, Ismail San, Jiaqi Yin …
M Pardalos, Y Herklotz, J Wickerson, A Arora, T Anand, A Borda, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3