Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications
Coutinho, Demetrios A. M., Georgiou, Kyriakos, Eder, Kerstin I., Nunez-Yanez, Jose, Xavier-de-Souza, Samuel
Published in 2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC) (01.10.2019)
Published in 2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC) (01.10.2019)
Get full text
Conference Proceeding
Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights
Salem, Mohamed A., Eder, Kerstin I.
Published in 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV) (01.12.2015)
Published in 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV) (01.12.2015)
Get full text
Conference Proceeding
Journal Article
Complete Agent-driven Model-based System Testing for Autonomous Systems
Eder, Kerstin I., Huang, Wen-ling, Peleska, Jan
Published in Electronic proceedings in theoretical computer science (21.10.2021)
Published in Electronic proceedings in theoretical computer science (21.10.2021)
Get full text
Journal Article
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Cheng, Betty H. C., Eder, Kerstin I., Gogolla, Martin, Grunske, Lars, Litoiu, Marin, Müller, Hausi A., Pelliccione, Patrizio, Perini, Anna, Qureshi, Nauman A., Rumpe, Bernhard, Schneider, Daniel, Trollmann, Frank, Villegas, Norha M.
Published in Models@run.time (2014)
Published in Models@run.time (2014)
Get full text
Book Chapter
Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs
Nascimento, Diego V. Cirilo do, Georgiou, Kyriakos, Eder, Kerstin I, Xavier-de-Souza, Samuel
Year of Publication 24.09.2022
Year of Publication 24.09.2022
Get full text
Journal Article
Complete Agent-driven Model-based System Testing for Autonomous Systems
Get full text
Paper
Journal Article
Modified Condition Decision Coverage: A Hardware Verification Perspective
Salem, Mohamed A., Eder, Kerstin I.
Published in 2013 14th International Workshop on Microprocessor Test and Verification (01.12.2013)
Published in 2013 14th International Workshop on Microprocessor Test and Verification (01.12.2013)
Get full text
Conference Proceeding
Exploiting guard band limits for energy gains in MPSoCs
Cirilo do Nascimento, Diego V., Georgiouy, Kyriakos, Edery, Kerstin I., Xavier-de-Souza, Samuel
Published in 2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC) (01.10.2019)
Published in 2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC) (01.10.2019)
Get full text
Conference Proceeding
The benefits of low operating voltage devices to the energy efficiency of parallel systems
Xavier-de-Souza, Samuel, Neves, Eduardo A., Furtunato, Alex F. A., Silveira, Luiz F. Q., Georgiou, Kyriakos, Eder, Kerstin I.
Published in 2017 Fifth Berkeley Symposium on Energy Efficient Electronic Systems & Steep Transistors Workshop (E3S) (01.10.2017)
Published in 2017 Fifth Berkeley Symposium on Energy Efficient Electronic Systems & Steep Transistors Workshop (E3S) (01.10.2017)
Get full text
Conference Proceeding
The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems
Xavier-de-Souza, Samuel, Neves, Eduardo A, Furtunato, Alex F A, Silveira, Luiz F Q, Georgiou, Kyriakos, Eder, Kerstin I
Published in arXiv.org (13.08.2017)
Published in arXiv.org (13.08.2017)
Get full text
Paper
Journal Article
Using Models at Runtime to Address Quality Assurance for Self-Adaptive Systems
Cheng, Betty H C, Eder, Kerstin I, Gogolla, Martin, Grunske, Lars, Litoiu, Marin, Pelliccione, Patrizio, Muller, Hausi A, Perini, Anna, Qureshi, Nauman A, Rumpe, Bernhard, Schneider, Daniel, Trollmann, Frank, Villegas, Norha M
Published in State-of-the-Art Survey Volume on Models@run.time Edited by:Betty Cheng, Uwe Assmann, Gordon Blair, Robert France, Nelly Bencomo (2014)
Get full text
Published in State-of-the-Art Survey Volume on Models@run.time Edited by:Betty Cheng, Uwe Assmann, Gordon Blair, Robert France, Nelly Bencomo (2014)
Book Chapter