Paolo Ienne
9 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
ElasticMiter: Formally Verified Dataflow Circuit Rewrites
Ayatallah Elakhras and others (2025) · ACM
Resource Sharing in Dataflow Circuits
Lana Josipović and others (2022) · 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), May 2022
Buffer Placement and Sizing for High-Performance Dataflow Circuits
Lana Josipović and others (2021) · ACM Transactions on Reconfigurable Technology and Systems · Association for Computing Machinery
From C/C++ Code to High-Performance Dataflow Circuits
Lana Josipović and others (2021) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Global Is the New Local: FPGA Architecture at 5nm and Beyond
Stefan Nikolić and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
Combining Dynamic & Static Scheduling in High-level Synthesis
Jianyi Cheng and others (2020) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
Speculative Dataflow Circuits
Lana Josipović and others (2019) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
Dynamically Scheduled High-level Synthesis
Lana Josipović and others (2018) · ACM
Sleuth: Automated Verification of Software Power Analysis Countermeasures
Ali Galip Bayrak and others (2013) · Springer Berlin Heidelberg