Author of the publication

Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach.

, , and . ISLPED, page 85-90. ACM, (2010)

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

Scalable Detection of Hardware Trojans Using ATPG-Based Activation of Rare Events., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (12): 4450-4462 (December 2023)Enhanced Alternate Action Recommender System Using Recurrent Patterns and Fault Detection System for Smart Home Users., , , and . IEEE BigData, page 651-656. IEEE, (2019)Functional Verification of Pipelined Processors: A Case Study., , and . MTV, page 79-84. IEEE Computer Society, (2004)Leakage-Aware Energy Minimization Using Dynamic Voltage Scaling and Cache Reconfiguration in Real-Time Systems., and . VLSI Design, page 357-362. IEEE Computer Society, (2010)SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems., , and . VLSI Design, page 547-552. IEEE Computer Society, (2009)MERS: Statistical Test Generation for Side-Channel Analysis based Trojan Detection., , and . CCS, page 130-141. ACM, (2016)Real-Time Detection and Localization of Denial-of-Service Attacks in Heterogeneous Vehicular Networks., , and . DATE, page 1434-1439. IEEE, (2021)An efficient code compression technique using application-aware bitmask and dictionary selection methods., and . DATE, page 582-587. EDA Consortium, San Jose, CA, USA, (2007)PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme., and . DAC, page 705-710. ACM, (2010)Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems., , and . DAC, page 948-953. ACM, (2011)