- 博客(1)
- 资源 (10)
- 问答 (1)
- 收藏
- 关注
原创 转置矩阵的分块并行乘法(C语言实现),计算矩阵C[rawn][rawn]=A[rawm][rawn]'*B[rawm][rawn],子块大小为S*T,其算法实现原理参加本代码的附件。
可参见
2016-06-21 00:38:19 6057
Verified programming in Dafny.docx
An introductory course to the use of Dafny for writing programs with fully verified specifications.
2021-08-20
鼠标右键菜单“重新加载”和Web浏览器“重新加载”功能时,刷新当前页面的Iframe
2022-02-08
TA创建的收藏夹 TA关注的收藏夹
TA关注的人