Author:
Andersen Jeppe L.,Todberg Mikkel,Dalsgaard Andreas E.,Hansen René Rydhof
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. MemLock;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
2. Safety-critical Java for embedded systems;Concurrency and Computation: Practice and Experience;2016-12-14
3. Hardware locks for a real-time Java chip multiprocessor;Concurrency and Computation: Practice and Experience;2016-10-12
4. Symbolic execution for memory consumption analysis;ACM SIGPLAN Notices;2016-08
5. Symbolic execution for memory consumption analysis;Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems;2016-06-13