Pinned Repositories
gnatcoverage
GNATcoverage: Coverage Analysis Tool
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
symcc
SymCC: efficient compiler-based symbolic execution
beebs
A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
EnergyTransparency
Related to the publication: Energy Transparency for Deeply Embedded Programs
Lopster-Paper
Lopster paper material
skills-code-with-codespaces
My clone repository
SRA_evaluationForCortexM0
This technical report evaluates our Static Resource Analysis on the Cortex M0 processor
symcc
SymCC: efficient compiler-based symbolic execution
LostInTranslation
kg8280's Repositories
kg8280/beebs
A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
kg8280/EnergyTransparency
Related to the publication: Energy Transparency for Deeply Embedded Programs
kg8280/Lopster-Paper
Lopster paper material
kg8280/skills-code-with-codespaces
My clone repository
kg8280/SRA_evaluationForCortexM0
This technical report evaluates our Static Resource Analysis on the Cortex M0 processor
kg8280/symcc
SymCC: efficient compiler-based symbolic execution