Search Results - Profiling (computer programming)
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 13
- Biology, life sciences 10
- History of engineering & technology 7
- Medicine 7
- Education 5
- Environmental science, engineering & technology 5
- Humanities 5
- Mathematics & science 5
- Technology: general issues 5
- Anthropology 4
- History of education 4
- Oncology 4
- Society & social sciences 4
- Teacher training 4
- Theatre studies 4
- Computer Science 3
- Ecological science, the Biosphere 3
- Education, Higher 3
- Radiology 3
- Social interaction 3
- Application software 2
- Archiving, preservation & digitisation 2
- Autobiography: general 2
- Bibliographic & subject control 2
- Biography: historical, political & military 2
- Computer and Information Systems Applications 2
- Computer networks 2
- Databases 2
- Development studies 2
- Diaries, letters & journals 2
-
1
-
2
Security of Ubiquitous Computing Systems Selected Topics /
Published 2021Link to Metadata
Electronic eBook -
3
-
4
Programming Persistent Memory A Comprehensive Guide for Developers
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Programming Persistent Memory A Comprehensive Guide for Developers
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
-
7
Programming Persistent Memory A Comprehensive Guide for Developers /
Published 2020Link to Metadata
Electronic eBook -
8
Programming Persistent Memory A Comprehensive Guide for Developers
Published 2020Access online version
Electronic eBook -
9
Writing Programs Worldwide Profiles of Academic Writing in Many Places
Published 2012Access online version
Electronic eBook -
10
Computational and Mathematical Methods in Information Science and Engineering
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
-
12
-
13
High Performance Computing
Published 2021Table of Contents: “…Programming and Tuning Software -- 2.1 What a Compiler Does -- 2.2 Timing and Profiling -- 2.3 Eliminating Clutter -- 2.4 Loop Optimizations -- 3. …”
Access online version
Electronic eBook -
14
Sustainability Analysis and Environmental Decision-Making Using Simulation, Optimization, and Computational Analytics
Published 2022Subjects: “…computer modeling…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
-
16
-
17
Innate Immunity Programming and Memory in Resolving and Non-Resolving Inflammation
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata
Electronic eBook -
19
-
20