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 Galis, Alex.
Published 2013
Format:
Table of Contents: ...Intro -- Preface -- Table of Contents -- Software Driven Networks, Virtualisation, Programmability...
Click to View
3
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