Author of the publication

Equivalence Checking Between System-Level Descriptions by Identifying Potential Cut-Points.

, , , , , and . CSPS, volume 571 of Lecture Notes in Electrical Engineering, page 1328-1335. Springer, (2019)

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

Exploiting last idle periods of links for network power management., , , and . EMSOFT, page 134-137. ACM, (2005)An ILP-Based Approach to Locality Optimization., , and . LCPC, volume 3602 of Lecture Notes in Computer Science, page 149-163. Springer, (2004)Object duplication for improving reliability., , , and . ASP-DAC, page 140-145. IEEE, (2006)Topology constructing and restructuring mechanisms for Bluetooth radio networks., , , and . ICCE-TW, page 1-2. IEEE, (2016)Recharging path construction for mobile recharger in wireless sensor networks., , and . ICCE-TW, page 1-2. IEEE, (2016)Mining High Utility Itemset with Multiple Minimum Utility Thresholds Based on Utility Deviation., , , , and . ICDM (Workshops), page 490-496. IEEE, (2022)Analyzing heap error behavior in embedded JVM environments., , , , and . CODES+ISSS, page 230-235. ACM, (2004)Address Register Assignment for Reducing Code Size., , , and . CC, volume 2622 of Lecture Notes in Computer Science, page 273-289. Springer, (2003)A Process Scheduler-Based Approach to NoC Power Management., , , , , , and . VLSI Design, page 77-82. IEEE Computer Society, (2007)Research on Co-construction and Sharing Mode of Curriculum Resources Based on Limited Crowdsourcing and On-Demand Monopoly., , and . ICCSE (2), volume 1812 of Communications in Computer and Information Science, page 210-221. Springer, (2022)