-
Patent Agency Ranking
公开(公告)号：CN106294169A
公开(公告)日：2017-01-04
申请号：CN201610679571.1
申请日：2016-08-17
Applicant: 华中科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据竞争，防止多线程程序在运行时发生错误。
-
公开(公告)号：CN106293007A
公开(公告)日：2017-01-04
申请号：CN201610670330.0
申请日：2016-08-16
Applicant: 华中科技大学
IPC: G06F1/32
Abstract: 本发明公开了一种支持非抢占实时任务集节能调度方法，其步骤包括：初始任务集合处理，获取初始减速因子，获取候选减速因子，分配减速因子；本发明所公开的非抢占实时任务集节能调度方法，在保证非抢占实时任务在截止期之前完成的前提下，充分考虑了任务集的非抢占特性，得到更小的减速因子，从而使得任务集能以更低的速度运行，达到更好的节能效果,可有效节约嵌入式系统能耗，并具有更强的非抢占任务集实时节能调度能力；与现有的实时系统节能调度方法相比，本发明所提出的方法通过精确分析来自高优先级任务的计算负荷，为每个任务分配一个更低的减速因子，能够显著降低系统能耗。
-
公开(公告)号：CN106201896A
公开(公告)日：2016-12-07
申请号：CN201610595940.9
申请日：2016-07-26
Applicant: 华中科技大学
Inventor： 李国徽
IPC: G06F11/36
CPC classification number: G06F11/3644
Abstract: 本发明公开了一种嵌入式环境下基于检查点的调试方法、系统及装置。所述调试方法包括宿主机向目标机发出第一指令，令所述目标机上的应用程序开始运行；宿主机从外部接收命令，并判断所述命令的类型；如果所述命令为保存命令，则进入下一步；如果所述命令为调试命令，则进入步骤(5)；如果所述命令为恢复命令，则进入步骤(6)；如果所述命令为退出命令，则进入步骤运行结束，是则进入步骤(8)，否则进入下一步；直至调试结束。本发明通过宿主机与目标机的交互，在目标机上设置检查点，使得重新开始调试时，应用程序可以直接恢复到检查点处运行，有效地缩短了嵌入式环境下应用程序的调试周期。(8)；否则进入步骤(7)；判断所述应用程序是否
-
公开(公告)号：CN101119302B
公开(公告)日：2010-04-14
申请号：CN200710053156.6
申请日：2007-09-06
Applicant: 华中科技大学
Abstract: 一种挖掘事务数据流上最近时间窗口内频繁模式的方法，采用前缀模式复用方式的频繁模式树压缩存储数据流上最近时间窗口内的频繁模式，当流数据到达时，所包含的模式信息增量更新到频繁模式树上；同时应用时间衰减模型对历史事务数据所包含的模式支持数进行衰减，并据此将新近产生事务数据的模式同历史事务数据的模式区分开来，凸现出新事务模式的重要性；当用户提交模式查询时，该发明的方法能够立即响应查询，并输出数据流上最近的频繁模式。该方法与其它方法相比，具有响应时间快、模式挖掘的时间粒度精细等优点，同时可以根据需要来确保模式挖掘的覆盖率或者精度。
-
公开(公告)号：CN101119302A
公开(公告)日：2008-02-06
申请号：CN200710053156.6
申请日：2007-09-06
Applicant: 华中科技大学
Abstract: 一种挖掘事务数据流上最近时间窗口内频繁模式的方法，采用前缀模式复用方式的频繁模式树压缩存储数据流上最近时间窗口内的频繁模式，当流数据到达时，所包含的模式信息增量更新到频繁模式树上；同时应用时间衰减模型对历史事务数据所包含的模式支持数进行衰减，并据此将新近产生事务数据的模式同历史事务数据的模式区分开来，凸现出新事务模式的重要性；当用户提交模式查询时，该发明的方法能够立即响应查询，并输出数据流上最近的频繁模式。该方法与其它方法相比，具有响应时间快、模式挖掘的时间粒度精细等优点，同时可以根据需要来确保模式挖掘的覆盖率或者精度。
-
-
-
-
Search Results
55
records
(took 0.021 seconds)
