搜索筛选:
搜索耗时0.0937秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：江南, 李清安, 汪吕蒙, 张晓瞳, 何炎祥,,
来源：软件学报 年份：2020
随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明...
[期刊论文] 作者：何炎祥, 孙发军, 李清安, 何静, 汪吕蒙,,
来源：计算机学报 年份：2020
物联网是当前学术界和产业界的研究热点,作为物联网主要构成部分之一的无线传感器网络(Wireless Sensor Networks,WSNs),其安全与人们的生活安全及隐私息息相关.过去近二十年...
[期刊论文] 作者：何炎祥,孙发军,李清安,何静,汪吕蒙,
来源：计算机学报 年份：2019
...
[期刊论文] 作者：江南,李清安,汪吕蒙,张晓瞳,何炎祥,
来源：软件学报 年份：2019
...
[期刊论文] 作者：张军,谢竟成,沈凡凡,谭海,汪吕蒙,何炎祥,,
来源：计算机研究与发展 年份：2020
随着工艺和制程技术的不断发展以及体系架构的日趋完善,通用图形处理器(general purpose graphics processing units, GPGPU)的并行计算能力得到了很大的提升,其在高性能、高吞吐量等通用计算应用场景的使用越来越广泛.GPGPU通过支持大量线程的并发执行,可以较......
相关搜索：
