Author:
Boussinot F.,de Simone R.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering
Cited by
213 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synchronous Programming with Refinement Types;Proceedings of the ACM on Programming Languages;2024-08-15
2. Hardware and Software Generation from Large Actor Machines in Streaming Applications;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
3. Real-time PTV system implementation on multi-SoC architecture accelerated by OpenCL;2024 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA);2024-02-01
4. Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems;Proceedings of the 2024 13th International Conference on Software and Computer Applications;2024-02
5. Modular Hardware Design with Timeline Types;Proceedings of the ACM on Programming Languages;2023-06-06