Author:
Skordalakis Emmanouil,Attwood Andrew,Goodacre John,Luján Mikel
Publisher
Springer Nature Switzerland
Reference20 articles.
1. https://docs.sel4.systems/Tutorials/capabilities.html
2. GitHub - embench/embench-iot: The main Embench repository—github.com. https://github.com/embench/embench-iot. Accessed 16 Dec 12 2023
3. Zynq UltraScale+ MPSoC ZCU102 Evaluation Kit—xilinx.com. https://www.xilinx.com/products/boards-and-kits/ek-u1-zcu102-g.html. Accessed 15 Dec 2023
4. Aldham, M., Anderson, J., Brown, S., Canis, A.: Low-cost hardware profiling of run-time and energy in FPGA embedded processors. In: ASAP 2011-22nd IEEE International Conference on Application-specific Systems, Architectures and Processors, pp. 61–68. IEEE (2011)
5. Bailleu, M., Dragoti, D., Bhatotia, P., Fetzer, C.: TEE-Perf: a profiler for trusted execution environments. In: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 414–421. IEEE (2019)