default search action
Kyriakos Georgiou
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Diego V. Cirilo do Nascimento
, Kyriakos Georgiou
Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs. IEEE Embed. Syst. Lett. 16(1): 25-28 (2024) - [i18]Kyriakos Georgiou, Constantinos I. Siettos, Athanasios N. Yannacopoulos:
Fredholm Neural Networks. CoRR abs/2408.09484 (2024) - 2023
- [i17]Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski, Kerstin Eder
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. CoRR abs/2301.12806 (2023) - 2022
- [j8]Kyriakos Georgiou
Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. Comput. J. 65(3): 718-735 (2022) - [j7]Kris Nikov
Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU. IEEE Embed. Syst. Lett. 14(3): 147-150 (2022) - [c12]Kris Nikov
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis. ICECS 2022 2022: 1-4 - [i16]Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder
Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs. CoRR abs/2209.12134 (2022) - 2021
- [j6]Kyriakos Georgiou
Markov chain lumpability and applications to credit risk modelling in compliance with the International Financial Reporting Standard 9 framework. Eur. J. Oper. Res. 292(3): 1146-1164 (2021) - [c11]Guillaume Cluzel, Kyriakos Georgiou, Yannick Moy, Clément Zeller:
Layered Formal Verification of a TCP Stack. SecDev 2021: 86-93 - [i15]Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov, Kerstin Eder:
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor. CoRR abs/2104.01055 (2021) - [i14]Kris Nikov, Marcos Martínez, Simon Wegener, José L. Núñez-Yáñez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder:
Robust and accurate fine-grain power models for embedded systems with no on-chip PMU. CoRR abs/2106.00565 (2021) - [i13]Kyriakos Georgiou, Guillaume Cluzel, Paul Butcher, Yannick Moy:
Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case. CoRR abs/2109.10347 (2021) - 2020
- [j5]Alex F. A. Furtunato
When Parallel Speedups Hit the Memory Wall. IEEE Access 8: 79225-79238 (2020) - [i12]Demetrios A. M. Coutinho, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems. CoRR abs/2005.02947 (2020)
2010 – 2019
- 2019
- [c10]Vitor R. G. Silva
Energy-Optimal Configurations for Single-Node HPC Applications. HPCS 2019: 448-454 - [c9]Diego V. Cirilo do Nascimento
Exploiting guard band limits for energy gains in MPSoCs. VLSI-SoC 2019: 1-2 - [c8]Demetrios A. M. Coutinho, Kyriakos Georgiou, Kerstin I. Eder
Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications. VLSI-SoC 2019: 232-233 - [i11]Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder:
Lost in translation: Exposing hidden compiler optimization opportunities. CoRR abs/1903.11397 (2019) - [i10]Alex F. A. Furtunato, Kyriakos Georgiou
When parallel speedups hit the memory wall. CoRR abs/1905.01234 (2019) - 2018
- [j4]Kyriakos Georgiou
The IoT Energy Challenge: A Software Perspective. IEEE Embed. Syst. Lett. 10(3): 53-56 (2018) - [c7]Kyriakos Georgiou
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. SCOPES 2018: 35-42 - [c6]Victor H. F. Oliveira, Alex F. A. Furtunato, Luiz Felipe Q. Silveira
Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores. ICPE Companion 2018: 43-44 - [i9]Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder:
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. CoRR abs/1802.09845 (2018) - [i8]Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza:
Energy-Optimal Configurations for Single-Node HPC Applications. CoRR abs/1805.00998 (2018) - 2017
- [b1]Kyriakos Georgiou:
Enabling energy transparency for deeply embedded programs. University of Bristol, UK, 2017 - [j3]Demetrios Zeinalipour-Yazti, Christos Laoudias
Internet-Based Indoor Navigation Services. IEEE Internet Comput. 21(4): 54-63 (2017) - [j2]Kyriakos Georgiou
Energy Transparency for Deeply Embedded Programs. ACM Trans. Archit. Code Optim. 14(1): 8:1-8:26 (2017) - [c5]Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. SAFECOMP Workshops 2017: 127-140 - [i7]Kyriakos Georgiou
The IoT energy challenge: A software perspective. CoRR abs/1706.08817 (2017) - [i6]Samuel Xavier de Souza, Eduardo André Neves, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder:
The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems. CoRR abs/1709.08689 (2017) - 2016
- [j1]Kerstin Eder, John P. Gallagher
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47: 278-286 (2016) - [i5]Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou
ENTRA: Whole-Systems Energy Transparency. CoRR abs/1606.04074 (2016) - [i4]Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder:
Energy Transparency for Deeply Embedded Programs. CoRR abs/1609.02193 (2016) - 2015
- [c4]Umer Liqat, Kyriakos Georgiou
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA 2015: 81-100 - [c3]Kyriakos Georgiou, Timotheos Constambeys, Christos Laoudias
Anyplace: A Crowdsourced Indoor Information Service. MDM (1) 2015: 291-294 - [c2]Neville Grech
Static analysis of energy consumption for LLVM IR programs. SCOPES 2015: 12-21 - [i3]Kyriakos Georgiou, Steve Kerrison, Kerstin Eder:
On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs. CoRR abs/1510.07095 (2015) - [i2]Umer Liqat, Kyriakos Georgiou
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR abs/1511.01413 (2015) - 2014
- [i1]Neville Grech, Kyriakos Georgiou
Static energy consumption analysis of LLVM IR programs. CoRR abs/1405.4565 (2014) - 2013
- [c1]Umer Liqat, Steve Kerrison
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR 2013: 72-90
Coauthor Index
aka: Kerstin I. Eder
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: