Valgrind

swMATH4420MaRDI QIDQ16596FDOQ16596

Author name not available (Why is that?)

Cited In (43)

• I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
• Ordered line integral methods for solving the eikonal equation
• Incremental copying garbage collection for WAM-based Prolog systems
• Optimized high speed pixel sorting and its application in watershed based image segmentation
• A program slicing-based method for effective detection of coincidentally correct test cases
• Optimization of triple-ring electrodes on piezoceramic transducers using algorithmic differentiation
• Memory-usage advantageous block recursive matrix inverse
• Discrete ordinates analysis of the forced-flight variance reduction technique in Monte Carlo neutral particle transport simulations
• Title not available (Why is that?)
• White-box cryptography: don't forget about grey-box attacks
• The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution
• Title not available (Why is that?)
• Does relativistic cosmology software handle emergent volume evolution?
• Wheeler graphs: a framework for BWT-based data structures
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• A profile-based tool for finding pipeline parallelism in sequential programs
• G-Tries: a data structure for storing and finding subgraphs
• Practical Guide to Computer Simulations
• Dynamic analysis of Java program concepts for visualization and profiling
• Title not available (Why is that?)
• An evaluation of point-insertion sequences for incremental Delaunay tessellations
• Extending Model Checking with Dynamic Analysis
• ``Endless workload analysis of large-scale supercomputers
• A usability case study of algorithmic differentiation tools on the ISSM ice sheet model
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Robust software partitioning with multiple instantiation
• Simulation of operational semantics of machine instructions
• A theory of monitors
• Automatic proofs of memory deallocation for a Whiley-to-C compiler
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• Non-dominated solutions for time series learning and forecasting. Generating models with a generic two-phase Pareto loca search with VND
• A survey on design and implementation of protected searchable data in the cloud
• Numerical modelling via INMOST software platform
• On the infeasibility of modeling polymorphic shellcode. Re-thinking the role of learning in intrusion detection systems
• \texttt{blocks\_3d}: software for general 3d conformal blocks
• Algorithmic differentiation of the Open CASCADE Technology CAD kernel and its coupling with an adjoint CFD solver
• Performance advantage of reconfigurable cache design on multicore processor systems
• The cache-oblivious Gaussian elimination paradigm: Theoretical framework, parallelization and Experimental evaluation
• Parallel enumeration of triangulations
• Capitalizing on \textit{live} variables: new algorithms for efficient Hessian computation via automatic differentiation
• The \textsc{MergeSat} solver
• Using static analysis to reduce dynamic analysis overhead
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

This page was built for software: Valgrind