Author of the publication

NUVA: Architectural support for runtime verification of parametric specifications over multicores.

, , and . CASES, page 137-146. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

System-level power-performance trade-offs in bus matrix communication architecture synthesis., , , and . CODES+ISSS, page 300-305. ACM, (2006)Thermal sensor allocation for SoCs based on temperature gradients., , and . ISQED, page 29-34. IEEE, (2015)Partitioning by Regularity Extraction., and . DAC, page 235-238. IEEE Computer Society Press, (1992)Computational and Communication Reduction Technique in Machine Learning Based Near Sensor Applications., , and . ICM, page 68-71. IEEE, (2018)Information Processing Factory 2.0 - Self-awareness for Autonomous Collaborative Systems., , , , , , , , , and 12 other author(s). DATE, page 1-6. IEEE, (2023)Design and analysis of 2T-2M Ternary content addressable memories., , , , , , and . MWSCAS, page 1430-1433. IEEE, (2017)FIR filter mapping and performance analysis on MorphoSys., , and . ICECS, page 99-102. IEEE, (2000)A hierarchical pipelining architecture and FPGA implementation for lifting-based 2-D DWT., , and . J. Real-Time Image Processing, 2 (4): 281-291 (2007)Combined topological and functionality based delay estimation using a layout-driven approach for high level applications., and . EURO-DAC, page 72-78. IEEE Computer Society Press, (1992)Controller and datapath trade-offs in hierarchical RT-level synthesis., and . HLSS, page 152-157. ACM, (1994)