Kyriakos Georgiou's repositories

beebs

A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions

Language:MakefileLicense:GPL-3.0Stargazers:0Issues:1Issues:0

EnergyTransparency

Related to the publication: Energy Transparency for Deeply Embedded Programs

Stargazers:0Issues:2Issues:0

Lopster-Paper

Lopster paper material

Stargazers:0Issues:2Issues:0

skills-code-with-codespaces

My clone repository

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

SRA_evaluationForCortexM0

This technical report evaluates our Static Resource Analysis on the Cortex M0 processor

Stargazers:0Issues:2Issues:0

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0