Dataset for REMaQE evaluation
收藏DataCite Commons2023-10-23 更新2025-04-16 收录
下载链接：
https://ieee-dataport.org/documents/dataset-remaqe-evaluation
下载链接
链接失效反馈官方服务：
资源简介：
Dataset for evaluation of REMaQE
This dataset contains 3,137 randomly generated math equations, that have been compiled into ARM 32-bit HardFloat binaries using C and Simulink implementations, with 4 different optimization levels.
The binaries are reverse engineered to math equations by REMaQE, and this dataset covers a wide variety of binary implementations to evaluate REMaQE's performance.
Each generated equation is implemented as a C function and a Simulink model.
Simulink is popular for modelling controllers, and it provides features to compile the models into binaries for embedded targets.
The C function is compiled for ARM32-HF target using the GCC compiler (arm-linux-gnueabhihf-gcc).
The Simulink model is compiled for the same target using Simulink's code generation feature.
Four optimization levels from "-O0" to "-O3" are used during compilation to obtain a variety of implementations.
提供机构：
IEEE DataPort
创建时间：
2023-10-23
