搜索筛选:
搜索耗时0.0790秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：袁胜浩,杨志斌,张博林,周勇,薛垒,BODELEIXJean-Paul,FILALIMamoun,,
来源：计算机学报 年份：2020
同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋势,同步语言的多线程代码生成及其语义保持...
相关搜索：
