Cited By
View all- Zhang YMallet FZhang MLiu Z(2024)Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock ConstraintsFormal Aspects of Computing10.1145/367079436:2(1-51)Online publication date: 8-Jun-2024
- Deng SXiao SDeng QLu H(2024)A hovering swarm particle swarm optimization algorithm based on node resource attributes for hardware/software partitioningThe Journal of Supercomputing10.1007/s11227-023-05603-780:4(4625-4647)Online publication date: 1-Mar-2024
- Gallego Arias EJouvelot PRibstein SDesblancs DWinograd-Cort DGiavitto J(2021)The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithmsProceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design10.1145/3471872.3472970(35-46)Online publication date: 27-Aug-2021
- Show More Cited By