Author:
Spear Aaron,Levy Markus,Desnoyers Mathieu
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performance evaluation of complex multi-thread applications through execution path analysis;Performance Evaluation;2022-06
2. Continuous Debugging of Microservices;2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2020-12
3. A thread synchronization model for the PREEMPT_RT Linux kernel;Journal of Systems Architecture;2020-08
4. Efficient large-scale heterogeneous debugging using dynamic tracing;Journal of Systems Architecture;2019-09
5. Efficient Formal Verification for the Linux Kernel;Software Engineering and Formal Methods;2019