Author of the publication

An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis.

, , , and . J. Low Power Electron., 9 (3): 350-362 (2013)

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

v2c - A Verilog to C Translator., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 580-586. Springer, (2016)Shifting Left for Early Detection of Machine-Learning Bugs., , , , , , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 584-597. Springer, (2023)CAVES: A Dataset to facilitate Explainable Classification and Summarization of Concerns towards COVID Vaccines., , , , and . SIGIR, page 3154-3164. ACM, (2022)Heterogeneous Generative Dataset for UASes., , , , and . MOST, page 229-230. IEEE, (2023)Net-GPT: A LLM-Empowered Man-in-the-Middle Chatbot for Unmanned Aerial Vehicle., , , , , , and . SEC, page 287-293. IEEE, (2023)Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , and . CoRR, (2016)A Multi-objective Perspective for Operator Scheduling using Fine-grained DVS Architecture, , , and . CoRR, (2013)An Integrated Approach for Fine-Grained Power and Peak Temperature Management During High-Level Synthesis., , , and . J. Low Power Electron., 9 (3): 350-362 (2013)Model checking of global power management strategies in software with temporal logic properties., , and . ISEC, page 29-34. ACM, (2013)Equivalence Checking Using Trace Partitioning., , , and . ISVLSI, page 13-18. IEEE Computer Society, (2015)