|
搜索
搜 索
高等教育领域数字化综合服务平台
中国刑事警察学院警务战术训练器材第01包竞争性磋商
中国刑事警察学院警务战术训练器材第01包竞争性磋商
中国刑事警察学院
2022-06-23
哈尔滨工程大学惯组及面压测试系统采购项目竞争性磋商公告
哈尔滨工程大学惯组及面压测试系统采购项目竞争性磋商
哈尔滨工程大学
2022-06-08
大连海事大学电机性能参数测试及控制实验平台采购竞争性磋商
大连海事大学电机性能参数测试及控制实验平台采购竞争性磋商
大连海事大学
2022-06-14
北京师范大学珠海校区遥感综合实习设备采购竞争性磋商
北京师范大学珠海校区遥感综合实习设备采购竞争性磋商
北京师范大学
2022-06-02
哈尔滨工程大学学科任务建设管理平台采购项目竞争性磋商公告
哈尔滨工程大学学科任务建设管理平台采购项目竞争性磋商
哈尔滨工程大学
2022-06-06
哈尔滨工程大学高分辨海洋信息获取系统设备采购及服务竞争性磋商
哈尔滨工程大学高分辨海洋信息获取系统设备采购及服务竞争性磋商
哈尔滨工程大学
2022-06-06
中国刑事警察学院警务战术训练器材第02包竞争性磋商
中国刑事警察学院警务战术训练器材第02包竞争性磋商
中国刑事警察学院
2022-06-14
哈尔滨工程大学六自由度电动平台系统采购项目竞争性磋商公告
哈尔滨工程大学六自由度电动平台系统采购项目竞争性磋商
哈尔滨工程大学
2022-06-23
中国传媒大学非学历教育管理系统采购项目竞争性磋商
中国传媒大学非学历教育管理系统采购项目竞争性磋商
中国传媒大学
2022-06-23
一种基于符号执行虚拟机的数据竞争检测与重放方法
本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放 的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动 态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且 还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够 重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执 行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据 竞争，防止多线程程序在运行时发生错误。
华中科技大学
2021-04-14