Kerstin Eder

1. Static analysis of energy consumption for LLVM IR programs
   2014/05/18 by Neville Grech, Kyriakos Georgiou, James Pallister +3 · 2 voices · 4 citations
   Computer Science · Engineering · #Embedded Systems Design Techniques #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques #cs.PL
2. Lost In Translation: Exposing Hidden Compiler Optimization Opportunities
   2019/03/25 by Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia +3 · 2 voices · 1 citation
   Computer Science · #Parallel Computing and Optimization Techniques #Advanced Neural Network Applications #Embedded Systems Design Techniques
3. A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor
   2021/04/02 by Kyriakos Georgiou, Georgiou, Kyriakos, Zbigniew Chamski +5 · 1 citation
   Computer Science · Engineering · #Parallel Computing and Optimization Techniques #Advanced Memory and Neural Computing #CCD and CMOS Imaging Sensors
4. Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification
   2022/05/17 by Nyasha Masamba, Kerstin Eder, Tim Blackmore · 1 voice
   Computer Science · Engineering · #Real-time simulation and control systems #Software Testing and Debugging Techniques #VLSI and Analog Circuit Testing #cs.AI #cs.AR #cs.LG #cs.SE
5. Formal Verification of Control Systems Properties with Theorem Proving
   2014/05/29 by Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards · 1 voice
   Engineering · Computer Science · #eess.SY #cs.LO
6. Using Models at Runtime to Address Assurance for Self-Adaptive Systems
   2015/05/05 by Betty Cheng, Betty H. C. Cheng, Kerstin Eder +27 · 1 voice
   Computer Science · Engineering · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #cs.SE
7. Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption
   2018/02/27 by Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza +1 · 1 voice
   Computer Science · #cs.PF
8. Soft Gripping: Specifying for Trustworthiness
   2023/07/03 by Dhaminda B. Abeywickrama, Abeywickrama, Dhaminda B., Nguyen Hao Le +21 · 1 citation
   Engineering · #Advanced Manufacturing and Logistics Optimization #Artificial Intelligence (cs.AI) #D.2.1 #FOS: Computer and information sciences #I.2.9 #Robotics (cs.RO) #Soft Robotics and Applications
9. On the Design of Human-Robot Collaboration Gestures
   2024/02/29 by Anas Shrinah, Masoud S. Bahraini, Shrinah, Anas +9 · 1 citation
   Computer Science · Engineering · Psychology · #FOS: Computer and information sciences #Hand Gesture Recognition Systems #Human-Computer Interaction (cs.HC) #Robotics (cs.RO) #Robotics and Automated Systems #Social Robot Interaction and HRI
10. Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure
    2024/06/19 by Xuan Zheng, Zheng, Xuan, Tim Blackmore +5 · 1 citation
    Computer Science · #Machine Learning and Data Classification #Anomaly Detection Techniques and Applications