Search alternatives:
optimization models » optimization methods
software program » software programs, software product
code software » node software, cad software, pde software
models code » model code, models model, models case
1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... of Multithreaded Programs -- 1 Introduction -- 2 Modeling the Program Execution -- 3 Opportunistic Monitoring -- 3...
Click to View
2
by Johnsen, Einar Broch.
Published 2022
Format:
Table of Contents: ... -- 2.1 Clone Detection -- 2.2 Programs &amp -- Code Elements -- 2.3 Probabilistic Software Modeling...
Click to View
3
by Sato, Mitsuhisa.
Published 2020
Format:
Table of Contents: ...Three-Dimensional Fluid Code with XcalableMP -- 1 Introduction -- 2 Global-View Programming Model...
Click to View
4
by Felderer, Michael.
Published 2020
Format:
Table of Contents: ....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...
Click to View
5
by Supalov, Alexander.
Published 2014
Format:
Table of Contents: ... Components of HPC Systems -- Summary -- References -- Chapter 3: Top-Down Software Optimization -- The Three...
Click to View
6
7
by Ravichandran, Aruna.
Published 2016
Format:
Table of Contents: ... to Collaboration -- Chapter 1: DevOps in the Ascendency -- Accelerating Agile Practices in Today's Software...
Click to View
8
by Krajci, Iggy.
Published 2013
Format:
Table of Contents: ... of the cCodeTask Function -- Compiler Optimization Extension Application -- Step 1: Modify the Android Part...
Click to View
9
by Groote, Jan Friso.
Published 2021
Format:
Table of Contents: ... Optimization -- 1 Introduction -- 2 Background -- 2.1 Constraint Optimization Program (COP) -- 2.2 The Cell...
Click to View
10
by Reinders, James.
Published 2020
Format:
Table of Contents: ... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...
Click to View
11
by Altman, Russ B.
Published 2009
Format:
Table of Contents: ... OF GENUS/PHYLA CLASSIFICATION OF METAGENOMIC READS -- GUIDED GENOME HALVING: PROVABLY OPTIMAL SOLUTIONS...
Click to View
12
by Yuan, Philip F.
Published 2021
Format:
Table of Contents: ... Programs and Micro-structures -- 5 Façade Development and Sunlight Optimization -- 6 Conclusion...
Click to View
13
by Domingue, John.
Published 2011
Format:
Table of Contents: ... Architecture -- Experimental Results -- Conclusions -- References -- Title Model Ontology for Future Internet...
Click to View
14
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ... -- Software Verification -- Automated Verification of Correctness for Masked Arithmetic Programs -- 1...
Click to View
15
by Marwedel, Peter.
Published 2021
Format:
Table of Contents: ... Scheduling -- 6.4.4 Optimal Scheduling with Integer Linear Programming -- 6.5 Dependent Jobs on Heterogeneous...
Click to View
16
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