Search alternatives:
optimization problems » optimization problem, optimization models
software program » software programs, software product
problems code » problems case, problems models, problems cash
code software » node software, cad software, pde software
1
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
2
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ...Intro -- ETAPS Foreword -- Preface -- Organization -- Brains on Code: Towards a Neuroscientific...
Click to View
3
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
4
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
5
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
6
by Groote, Jan Friso.
Published 2021
Format:
Table of Contents: ... Placement Problem -- 2.2.1 Constraint Optimization Program for Cell Placement -- 2.3 Solving COP with SAT...
Click to View
7
by Reinders, James.
Published 2020
Format:
Table of Contents: ... -- Book GitHub -- Hello, World! and a SYCL Program Dissection -- Queues and Actions -- It Is All About...
Click to View
8
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
9
by Cohen, Ryan.
Published 2014
Format:
Table of Contents: ... Keyboard Demand -- Software Distribution and Copyright Protection Problems -- Android Application Overview...
Click to View
10
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ... -- Software Verification -- Automated Verification of Correctness for Masked Arithmetic Programs -- 1...
Click to View
11
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
12
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
13
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
14
by Domingue, John.
Published 2011
Format:
Table of Contents: ... Problems of the Mobile Internet -- Evolution of Flat Architectures -- Distributed Mobility Management...
Click to View