...
机译:使用RTC对C程序进行轻量级运行时检查
Univ Alabama Birmingham, Birmingham, AL 35233 USA;
Matlab, San Jose, CA USA;
N Carolina State Univ, Raleigh, NC 27695 USA;
Lawrence Livermore Natl Lab, Livermore, CA USA;
Univ Alabama Birmingham, Birmingham, AL 35233 USA;
Runtime monitoring; Source code instrumentation; Static analysis; C; C plus;
机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序的运行时检查生成实时程序
机译:运行时完整性检查以减轻轻型嵌入式设备上的利用漏洞
机译:使用可执行模型的移动代理系统的运行时一致性检查。
机译:数据中心规模的Blaze FPGA加速器部署的编程和运行时支持
机译:可靠的嵌入式系统:轻量级运行时和模型检查