Static analyzer for computing WCET of multithreaded programs using Hoare's CSP

被引：0

作者：

Dharishini, P. Padma Priya ^{[1
]}

Murthy, Prakriya Ramana ^{[1
]}

机构：

[1] Ramaiah University of Applied Sciences, Karnataka, Bangalore, India

来源：

ACM International Conference Proceeding Series | 2022年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Application programs - Multicore programming - Open source software - Software architecture - Embedded systems - Multitasking - Real time systems

引用