Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
application model » application models, application modes, replication model
application code » application modes, application case, replication code
computer program » computer programs
level computer » develop computer, travel computer, excel computer
application model » application models, application modes, replication model
application code » application modes, application case, replication code
computer program » computer programs
level computer » develop computer, travel computer, excel computer
1
2
by Sato, Mitsuhisa.
Published 2020
Format:
Published 2020
Table of Contents: “...Three-Dimensional Fluid Code with XcalableMP -- 1 Introduction -- 2 Global-View Programming Model...”
Click to View
3
by Supalov, Alexander.
Published 2014
Format:
Published 2014
Table of Contents: “... -- Automatically Checking MPI Program Correctness -- Comparing Application Traces -- Instrumenting Application Code...”
Click to View
4
by Ernstsson, August.
Published 2021
Format:
Published 2021
Table of Contents: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
Click to View
5
6
7
by Silverman, Eric.
Published 2018
Format:
Published 2018
Table of Contents: “....4.1 Implications of Schelling's Model -- 1.5 Social Simulation in Application: The Case of Demography -- 1...”
Click to View
8
by Karabulut, Zeynel Erdi; Istanbul Commerce University Graduate School of Natural and Applied Sciences Department of Computer Engineering, Kasapbaşı, Mustafa Cem; İstanbul Commerce University
Published 2018
Format:
Published 2018
“.... Microsoft Face API (Application Program Interface, SAAS (software as a service) has been used in face...”
Get full text
9
by Katoh, Naoki.
Published 2021
Format:
Published 2021
Table of Contents: “... and Covering Semidefinite Programs -- 4.2 Applications -- 4.2.1 SDP relaxation for Robust MaxCut -- 4...”
Click to View
10
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Theoretical Background -- 2.1 Solving Rabin Games Symbolically -- 2.2 Computing Symbolic Controllers...”
Click to View
11
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... Precedence Languages -- 2.1 Operator Precedence Omega-Languages -- 2.2 Modeling Programs with OPA -- 3 POTL...”
Click to View
12
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....3 Model Checking for First-Order Quantification -- 5.4 Bidirectional Model Checking -- 5.5 Computing Under...”
Click to View
13
14
by McGrath, Michael J.
Published 2013
Format:
Published 2013
Table of Contents: “... of Sensors -- Drivers for Sensor Applications -- Health and Fitness -- Aging Demographics -- Personalized...”
Click to View
15
by Kiefer, Stefan.
Published 2021
Format:
Published 2021
Table of Contents: “... for the setoid model -- 1 Introduction -- 1.1 Related work -- 2 MLTT^Prop -- 2.1 Formalization -- 3 Setoid model...”
Click to View
16
by Raja, Siddhartha, Imaizumi, Saori, Kelly, Tim, Narimatsu, Junko, Paradi-Guilford, Cecilia
Published 2013
Subjects:
“...APPLICATION DEVELOPMENT...”Published 2013
Get full text
Get full text
17
18
19
by Gettelman, Andrew.
Published 2016
Format:
Published 2016
Table of Contents: “....5.1 The Computer Program -- 4.5.2 Running a Model -- 4.6 Summary -- Part II Model Mechanics -- 5 Simulating...”
Click to View
20


