No Silver Bullet – Essence and Accident in Software Engineeringverification • Program verification does not mean error-proof programs • There is no magic here either, mathematical proofs can be faulty • Even perfect program validation can only establish that a program meets0 码力 | 35 页 | 1.43 MB | 5 月前3- THE FIRST EXPLORATION OF PROJECT SPARROWhttps://docs.sel4.systems/projects/sel4/status.html Mathematical Proof Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background Functional0 码力 | 68 页 | 13.14 MB | 1 年前3
- C++20: An (Almost) Complete Overview-- Marc Gregoire Wednesday, September 16 • 13:3077 Math Constants
Following mathematical constants are defined: e, log2e, log10e pi, inv_pi, inv_sqrtpi ln2, ln10 sqrt2, sqrt3 0 码力 | 85 页 | 512.18 KB | 6 月前3 - C++高性能并行编程与优化 - 课件 - 08 CUDA 开启的 GPU 编程，能兼容所有 GTX900 以上显卡。 https://docs.nvidia.com/cuda/cuda-compiler-driver-nvcc/index.html#extended-notation 针对不同的架构，使用不同的代码 通过 CMake 设置架构版本号 • 可以用 CMAKE_CUDA_ARCHITECTURES 这个变量 ，设置要针对哪个架构生成 GPU 指令码。0 码力 | 142 页 | 13.52 MB | 1 年前3
共 4 条
- 1