Contributors: leostrakosch
Name: leostrakosch
Login: lembergerth
Email: shirmomi@gmail.com
Company: @sosy-lab
Repositories count: 3
Last synced at: 2023-03-01T01:55:17.505Z
OST Projects: 1
Languages: C
Categories: Consumption
Sub Categories: Computation and Communication
Topics: rapl, resource-measurement, benchmark-framework, benchmarking, cgroups, klee, testing-tools, verification, competition, software-verification, sv-comp, verification-task, witness
Contributed Projects
CPU Energy Meter
A Linux tool that allows to monitor power consumption of Intel CPUs at fine time intervals.
energy linux rapl resource-measurement
Consumption - Computation and Communication - Last synced: 07 May 2025 - Ranking: 7.4