搜索筛选:
搜索耗时3.7812秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者：崔少轩,,
来源：南京航空航天大学 年份：2018
随着计算机科学的快速发展和计算机技术广泛应用,计算机软件能否正确运行,成为人们关注的焦点。特别是在一些重要的应用领域,对程序正确性的要求一方面要求程序的运行能够产...
[期刊论文] 作者：崔少轩,喻慎,
来源：计算技术与自动化 年份：2019
软件的静态程序分析是确保软件安全可靠的一种有效手段。常见的形式化的静态分析工具一般是基于模型检测,定理证明或抽象解释理论来对软件进行分析验证。然而,基于单一理论的...
[期刊论文] 作者：崔少轩, 喻垚慎,,
来源：计算技术与自动化 年份：2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食Back to yield...
[期刊论文] 作者：崔少轩,喻垚慎,
来源：计算技术与自动化 年份：2018
在实时系统的应用中常常需要对系统的执行时间,尤其是最坏执行时间进行分析。而程序中的循环结构的迭代次数对程序执行时间的分析结果具有重要的影响。程序的循环边界分析目...
[期刊论文] 作者：崔少轩 喻壵慎,
来源：计算技术与自动化 年份：2019
摘要：軟件的静态程序分析是确保软件安全可靠的一种有效手段。常见的形式化的静态分析工具一般是基于模型检测，定理证明或抽象解释理论来对软件进行分析验证。然而，基于单一理论的验证工具具有一定的局限性。介绍了一个开源的静态分析平台Frama-C，根据该工具的特点，......
[期刊论文] 作者：扎洛伊茨基, 崔少轩,,
来源：中国农垦 年份：2004
为了有效的利用饲料和减低牲畜饲养成本,饲料的调制有重大的意义。苏联集体农荘及国营农场畜牧业先进工作者的经验证明了饲料的调制是提高畜产品生产量方法中之一,它能...
[期刊论文] 作者：喻垚慎, 黄志球, 沈国华, 王飞, 崔少轩,,
来源：计算机学报 年份：2019
程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整...
[期刊论文] 作者：喻垚慎,黄志球,沈国华,王飞,崔少轩,
来源：计算机学报 年份：2018
...
相关搜索：
