1
2
3
4
5
by Sato, Mitsuhisa.
Published 2020
Format:
Table of Contents: ....1 Fundamental Performance -- 4.2 Non-blocking Communication -- 4.3 Application Program -- 4.3.1 Coarray Version...
Click to View
6
7
by Pagiola, Stefano
Published 2014
Subjects: ...FRAMEWORK CONVENTION ON CLIMATE CHANGE...
Get full text
Get full text
8
9
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... -- Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- 1 Introduction -- 2 A...
Click to View
10
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... -- Invited Talk -- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic...
Click to View
11
12
by Cohen, Ryan.
Published 2014
Format:
Table of Contents: ... -- Chapter 3: Android Application Development Processes and Tool Chains for Intel® Architecture -- Android...
Click to View
13
14
15
16
by Sergey, Ilya.
Published 2022
Format:
Table of Contents: ... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...
Click to View
17
18
19
20