Cited By
View all- Ramanathan NConstantinides GWickerson J(2022)A Case for Precise, Fine-Grained Pointer Synthesis in High-Level SynthesisACM Transactions on Design Automation of Electronic Systems10.1145/349143027:4(1-26)Online publication date: 8-Mar-2022
- Dossis MDiamantaras KEvangelidis GManolopoulos YGeorgiadis CKefalas PStamatis D(2013)Modeling and simulation in a formal design frameworkProceedings of the 6th Balkan Conference in Informatics10.1145/2490257.2490274(31-38)Online publication date: 19-Sep-2013
- Ben-Asher YRotem N(2013)Using memory profile analysis for automatic synthesis of pointers codeACM Transactions on Embedded Computing Systems10.1145/2442116.244211812:3(1-21)Online publication date: 8-Apr-2013
- Show More Cited By