|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于符号执行虚拟机的数据竞争检测与重放方法
本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放 的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动 态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且 还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够 重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执 行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据 竞争，防止多线程程序在运行时发生错误。
华中科技大学
2021-04-14
西安交通大学医学院第一附属医院荧光偏振酶标仪采购公开招标公告
西安交通大学医学院第一附属医院荧光偏振酶标仪采购招标项目的潜在投标人应在西安市南二环西段58号成长大厦10层标书发售处获取招标文件，并于2022年06月16日15点00分（北京时间）前递交投标文件。
西安交通大学
2022-05-27
北京化工大学计算机软件及管理平台采购竞争性磋商
北京化工大学计算机软件及管理平台采购竞争性磋商
北京化工大学
2022-05-27
中国地质大学（北京）人工智能实验实践创新教学平台竞争性磋商
中国地质大学（北京）人工智能实验实践创新教学平台竞争性磋商
中国地质大学（北京）
2022-05-27
中南民族大学广播系统采购项目（第二次）竞争性磋商公告
中南民族大学广播系统采购项目（第二次）竞争性磋商
中南民族大学
2022-05-31
东北大学智能制造综合实验平台建设竞争性磋商（二次公告）
东北大学智能制造综合实验平台建设竞争性磋商
东北大学
2022-05-27
哈尔滨工程大学L型高精密光学隔震台采购项目竞争性磋商公告
哈尔滨工程大学L型高精密光学隔震台采购项目竞争性磋商
哈尔滨工程大学
2022-06-06
中国传媒大学物理虚拟仿真实验平台项目竞争性磋商公告
中国传媒大学物理虚拟仿真实验平台项目竞争性磋商
中国传媒大学
2022-06-23
天津大学福州国际研究院科研管理系统采购项目竞争性磋商公告
天津大学福州国际研究院科研管理系统采购项目竞争性磋商
天津大学
2022-06-23
中国地质大学（武汉）“串联电感耦合等离子体质谱仪”竞争性磋商公告
中国地质大学（武汉）“串联电感耦合等离子体质谱仪”竞争性磋商
中国地质大学（武汉）
2022-06-23