التفاصيل البيبلوغرافية
| العنوان: |
Resource Sharing for Verified High-Level Synthesis |
| المؤلفون: |
Pardalos, Michalis, Herklotz, Yann, Wickerson, John |
| المصدر: |
2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) Field-Programmable Custom Computing Machines (FCCM), 2022 IEEE 30th Annual International Symposium on. :1-6 May, 2022 |
| Relation: |
2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder