Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors
Zhang, Ying, Chakrabarty, Krishnendu, Peng, Zebo, Rezine, Ahmed, Li, Huawei, Eles, Petru, Jiang, Jianhui
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.03.2020)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.03.2020)
Get full text
Journal Article
Symbolic identification of shared memory based bank conflicts for GPUs
Horga, Adrian, Rezine, Ahmed, Chattopadhyay, Sudipta, Eles, Petru, Peng, Zebo
Published in Journal of systems architecture (01.06.2022)
Published in Journal of systems architecture (01.06.2022)
Get full text
Journal Article
Stability-aware integrated routing and scheduling for control applications in Ethernet networks
Mahfouzi, Rouhollah, Aminifar, Amir, Samii, Soheil, Rezine, Ahmed, Eles, Petru, Peng, Zebo
Published in 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2018)
Published in 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2018)
Get full text
Conference Proceeding
Scheduling optimization with partitioning for mixed-criticality systems
Zhou, Yuanbin, Samii, Soheil, Eles, Petru, Peng, Zebo
Published in Journal of systems architecture (01.09.2019)
Published in Journal of systems architecture (01.09.2019)
Get full text
Journal Article
Timing analysis of the FlexRay communication protocol
Pop, Traian, Pop, Paul, Eles, Petru, Peng, Zebo, Andrei, Alexandru
Published in Real-time systems (01.08.2008)
Published in Real-time systems (01.08.2008)
Get full text
Journal Article
Runtime Resource Management with Workload Prediction
Niknafs, Mina, Ukhov, Ivan, Eles, Petru, Peng, Zebo
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Get full text
Conference Proceeding
Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications
Maghazeh, Arian, Chattopadhyay, Sudipta, Eles, Petru, Peng, Zebo
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Get full text
Conference Proceeding
Temperature-Aware Idle Time Distribution for Leakage Energy Optimization
Min Bao, Andrei, A., Eles, P., Zebo Peng
Published in IEEE transactions on very large scale integration (VLSI) systems (01.07.2012)
Published in IEEE transactions on very large scale integration (VLSI) systems (01.07.2012)
Get full text
Journal Article
Quasi-Static Voltage Scaling for Energy Minimization With Time Constraints
Andrei, A, Eles, P, Jovanovic, O, Schmitz, M, Ogniewski, J, Zebo Peng
Published in IEEE transactions on very large scale integration (VLSI) systems (01.01.2011)
Published in IEEE transactions on very large scale integration (VLSI) systems (01.01.2011)
Get full text
Journal Article
Integrated scheduling and synthesis of control applications on distributed embedded systems
Samii, S., Cervin, A., Eles, P., Zebo Peng
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Get full text
Conference Proceeding
Abstracting and Counting Synchronizing Processes
Ganjei, Zeinab, Rezine, Ahmed, Eles, Petru, Peng, Zebo
Published in Verification, Model Checking, and Abstract Interpretation (2015)
Published in Verification, Model Checking, and Abstract Interpretation (2015)
Get full text
Book Chapter
Conference Proceeding