Kerstin Eder
机构: Professor of Computer Science, University of Bristol
每年引用次数
引用次数
引用: 2,342
H-指数: 26
I10-指数 : 54
出版物: 194
RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016
K. Eder , M.C.J.D. van Eekelen
RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016 1 -46
2016
Preface RAC 2016 - Resource Aware Computing
K. Eder , M.C.J.D. van Eekelen
Electronic Notes in Theoretical Computer Science 330 1 -3
2016
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
U. Liqat , K. Georgiou , S. Kerrison , P. Lopez-Garcia
foundational and practical aspects of resource analysis 81 -100
28
2015
Can you trust your robotic assistant
Kerstin Dautenhahn , Farshid Amirabdollahian , Kerstin Eder , Michael Fisher
international conference on social robotics 571 -573
4
2013
A resource-oriented deductive approach towards hierarchical planning
Kerstin Eder , Steffen Hölldobler , Michael Thielscher
WLP 237 -246
1
1995
Optimizing the flash-RAM energy trade-off in deeply embedded systems
Kerstin Eder , Simon J. Hollis , James Pallister
symposium on code generation and optimization 115 -124
4
2015
Static analysis of energy consumption for LLVM IR programs
Kerstin Eder , Steve Kerrison , James Pallister , Jeremy Morse
software and compilers for embedded systems 12 -21
38
2015
On the infeasibility of analysing worst-case dynamic energy
Kerstin Eder , Steve Kerrison , Jeremy Morse
arXiv: Computational Complexity
7
2016
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan , Anthony G. Pipe , Kerstin Eder , David G. Western
conference towards autonomous robotic systems 9716 20 -32
16
2016
Formal Analysis of a Programmable Performance-Critical Processor Communication Interface
Kerstin Eder , David May , S Abu Kharmeh
tbc
1
2010
A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software
Kerstin Eder , Oliver Ray , Craig B Blackmore
international conference on logic programming 15 481 -494
6
2015
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers
Kerstin Eder , Ute Leonards , Chris Harper
arXiv: Robotics
44
2014
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling
Mohammad Hosseinabady , Kerstin Eder , Jose Nunez-Yanez , Kris Nikov
arXiv: Other Computer Science
2020
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis
Kerstin Eder , Steve Kerrison , James Pallister , Jeremy Morse
software and compilers for embedded systems 51 -59
10
2017
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification.
Kevin McAreavey , Kerstin Eder , Séverin Lemaignan , Tony Pipe
arXiv: Robotics
8
2021
CyRes: towards operational cyber resilience
Kerstin Eder
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
2021
XCS cannot learn all boolean functions
Charalambos Ioannides , Geoff Barrett , Kerstin Eder
Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11 1283 -1290
19
2011
Marimba: A Tool for Verifying Properties of Hidden Markov Models
Noé Hernández , Kerstin Eder , Evgeni Magid , Jesús Savage
Automated Technology for Verification and Analysis 201 -206
2015
Energy-Optimal Configurations for Single-Node HPC Applications
Vitor R. G. Silva , Alex F. A. Furtunato , Kyriakos Georgiou , Carlos A. V. Sakuyama
2019 International Conference on High Performance Computing & Simulation (HPCS) 448 -454
2019
Using Event-B to construct instruction set architectures
Stephen Wright , Kerstin Eder
Formal Aspects of Computing 23 ( 1) 73 -89
5
2011