Kerstin Eder , Steven Kerrison , John Gallagher , Pedro Lopez-Garcia
NanoEnergy Letters 1 ( 6) 67 -68
Kerstin I Eder , Steve Kerrison
Kerstin Eder , Steve Kerrison , James Pallister , Jeremy Morse
software and compilers for embedded systems 12 -21
Kerstin Eder , Steve Kerrison , Jeremy Morse
arXiv: Computational Complexity
Steve Kerrison
design automation and test in europe
Kerstin Eder , Steve Kerrison , James Pallister , Jeremy Morse
software and compilers for embedded systems 51 -59
Simon J. Hollis , Steve Kerrison
design, automation, and test in europe 73 -78
Haris Isakovic , Radu Grosu , Denise Ratasich , Jiri Kadlec
international conference on computer safety, reliability, and security 127 -140
Kyriakos Georgiou , Steve Kerrison , Zbigniew Chamski , Kerstin Eder
ACM Transactions on Architecture and Code Optimization 14 ( 1) 8
Kerstin Eder , John P. Gallagher , Pedro López-García , Henk Muller
Microprocessors and Microsystems 47 278 -286
Jeremy Morse , Steve Kerrison , Kerstin Eder
ACM Transactions in Embedded Computing Systems 17 ( 3) 59
Umer Liqat , Steve Kerrison , Alejandro Serrano , Kyriakos Georgiou
Logic-Based Program Synthesis and Transformation 72 -90
Steve Kerrison , David May , Kerstin Eder
2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC) 125 -132
Haris Isakovic , Radu Grosu , Denise Ratasich , Jiri Kadlec
Springer International Publishing 127 -140
Haris Isakovic , Radu Grosu , Denise Ratasich , Jiri Kadlec
Springer, Cham
Steve Kerrison , Markus Buschhoff , Jose Nunez-Yanez , Kerstin Eder
IntechOpen
Steve Kerrison , Jusak Jusak , Tao Huang
Electronics 12 ( 9) 2128 -2128
Simon J Hollis , Steve Kerrison
arXiv preprint arXiv:1504.06357
Steve Kerrison , Kerstin Eder
ACM Transactions on Embedded Computing Systems (TECS) 14 ( 3) 1 -25
James Pallister , Steve Kerrison , Jeremy Morse , Kerstin Eder
Computing Research Repository, arXiv