Search Results - "data structure"
Suggested Topics within your search.
Suggested Topics within your search.
- Algorithms & data structures 119
- Artificial intelligence 61
- Computer networking & communications 38
- Computer science 34
- Software Engineering 33
- Computer programming / software development 28
- Mathematical theory of computation 25
- Computer Science 15
- Data Structures and Information Theory 12
- Data structures (Computer science) 12
- Information theory 12
- Systems analysis & design 12
- Machine learning 11
- Data mining 9
- Mathematics 9
- Databases 8
- Expert systems / knowledge-based systems 8
- Network hardware 8
- Programming & scripting languages: general 8
- Programming Languages 8
- Applied mathematics 7
- Computer modelling & simulation 7
- Probability & statistics 7
- Automatic control engineering 6
- Chemistry 6
- Natural language & machine translation 6
- Operating systems 6
- Communications engineering / telecommunications 5
- Computer networks 5
- Ethical & social aspects of IT 5
-
241
Pro TBB C++ Parallel Programming with Threading Building Blocks /
Published 2019Table of Contents: “…-- Chapter 2: Generic Parallel Algorithms -- Chapter 3: Flow Graphs -- Chapter 4: TBB and the C++ Parallel Standard Template Library -- Chapter 5: Synchronization: why and how to avoid it -- Chapter 6: Data Structures for Concurrency -- Chapter 7: Scalable Memory Allocation -- Chapter 8: Mapping Parallel Patterns to TBB -- Part II -- Chapter 9: The Pillars of Composability -- Chapter 10: Using tasks to create your own algorithms -- Chapter 11: Controlling the Number of Threads Used for Execution -- Chapter 12: Using Work Isolation for Correctness and Performance -- Chapter 13: Creating Thread-to-core and Task-to-thread Affinity -- Chapter 14: Using Task Priorities -- Chapter 15: Cancellation and Exception Handling -- Chapter 16: Tuning TBB Algorithms: Granularity, Locality, Parallelism and Determinism -- Chapter 17: Flow Graphs: Beyond the Basics -- Chapter 18: Beef up Flow Graphs with Async Nodes -- Chapter 19: Flow Graphs on steroids: OpenCL Nodes -- Chapter 20: TBB on NUMA architectures -- Appendix A: History and Inspiration -- Appendix B: TBB Précis -- Glossary. .…”
Link to Metadata
Electronic eBook -
242
-
243
Software for Exascale Computing - SPPEXA 2016-2019
Published 2020Table of Contents: “…EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. …”
Link to Metadata
Electronic eBook -
244
-
245
-
246
-
247
-
248
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata
Electronic eBook -
249
-
250
-
251
-
252
-
253
Cybersecurity and Data Science
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
254
-
255
Signal Computing Digital Signals in the Software Domain
Published 2020Access online version
Electronic eBook -
256
-
257
-
258
-
259
-
260