Author of the publication

Multicore power management: Ensuring robustness via early-stage formal verification.

, , , , and . MEMOCODE, page 78-87. IEEE, (2009)

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

Heuristic Rule-Based Program Transformations for Enhanced Vectorization.. ICPP (2), page 63-66. Pennsylvania State University Press, (1988)0-271-00654-4.The resilience wall: Cross-layer solution strategies., , , , , , , , , and 3 other author(s). VLSI-DAT, page 1-11. IEEE, (2014)Introducing the Adaptive Energy Management Features of the Power7 Chip., , , , , , , , , and 1 other author(s). IEEE Micro, 31 (2): 60-75 (2011)Understanding Soft Error Resiliency of Blue Gene/Q Compute Chip through Hardware Proton Irradiation and Software Fault Injection., , , and . SC, page 587-596. IEEE Computer Society, (2014)Computer architecture education in a corporate reengineering program., and . WCAE@HPCA, page 6. ACM, (1996)A 12nm Agile-Designed SoC for Swarm-Based Perception with Heterogeneous IP Blocks, a Reconfigurable Memory Hierarchy, and an 800MHz Multi-Plane NoC., , , , , , , , , and 8 other author(s). ESSCIRC, page 269-272. IEEE, (2022)Representative Traces for Processor Models with Infinite Cache., , and . HPCA, page 62-72. IEEE Computer Society, (1996)Making data prefetch smarter: adaptive prefetching on POWER7., , , , , and . PACT, page 137-146. ACM, (2012)MIPS-Driven Early Design and Analysis of VLSI CPU Chips., and . VLSI Design, page 256-259. IEEE Computer Society, (1993)Resilient, UAV-embedded real-time computing., , , , , and . ICCD, page 736-739. IEEE Computer Society, (2015)