View in EDS HTML Full Text PDF Full Text

Efficient data race detection for interrupt-driven programs via path feasibility analysis.

Saved in:

Bibliographic Details
Title:	Efficient data race detection for interrupt-driven programs via path feasibility analysis.
Authors:	Zhao, Jingwen¹, Wu, Yanxia¹, wuyanxia@hrbeu.edu.cn, Dong, Jibin¹
Source:	Journal of Supercomputing; Oct2024, Vol. 80 Issue 15, p21699-21725, 27p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09208542
DOI:	10.1007/s11227-024-06189-4