1
by Sato, Mitsuhisa.
Published 2020
Format:
Table of Contents: ...-Coded MPI Program -- 2.2.2 Optimization for SIMD -- 2.2.3 Optimization for Allocatable Arrays -- 3 Local...
Click to View
2
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- Nominal Techniques forĀ Software Specification andĀ Verification -- How Can We Trust AI? -- Contents...
Click to View