Lana Josipović
8 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
Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking
Jiahui Xu and others (2023) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
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
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