Autor der Publikation

Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems.

, , , und . WETICE, Seite 210-215. IEEE Computer Society, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Resource Utilization for an Extensible Processor Through Dynamic Instruction Set Adaptation., , und . IEEE Trans. VLSI Syst., 16 (10): 1295-1308 (2008)A Self-Adaptive Extensible Embedded Processor., , , und . SASO, Seite 344-350. IEEE Computer Society, (2007)An adaptive workload management scheme for HEVC encoding., , , , , und . ICIP, Seite 1850-1854. IEEE, (2013)A low-power memory architecture with application-aware power management for motion & disparity estimation in Multiview Video Coding., , , und . ICCAD, Seite 40-47. IEEE Computer Society, (2011)ISOMER: integrated selection, partitioning, and placement methodology for reconfigurable architectures., , , , , und . ICCAD, Seite 755-762. IEEE, (2013)Agent-based distributed power management for kilo-core processors., und . ICCAD, Seite 153-160. IEEE, (2013)Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder., , , und . DATE, Seite 125-128. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Software architecture of High Efficiency Video Coding for many-core systems with power-efficient workload balancing., , und . DATE, Seite 1-6. European Design and Automation Association, (2014)ACSEM: accuracy-configurable fast soft error masking analysis in combinatorial circuits., , , , , und . DATE, Seite 824-829. ACM, (2015)Formal probabilistic analysis of distributed dynamic thermal management., , , und . DATE, Seite 1221-1224. ACM, (2015)