swMATH4420MaRDI QIDQ16596FDOQ16596
Author name not available (Why is that?)
Official website: http://www.valgrind.org/
Cited In (only showing first 100 items - show all)
- I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
- 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
- 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
- alegreya
- gperf
- pdfescape
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
- A profile-based tool for finding pipeline parallelism in sequential programs
- Algorithmic differentiation of the Open CASCADE technology CAD kernel and its coupling with an adjoint CFD solver
- 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
- Memory debugging of MPI-parallel applications in Open MPI
- 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
- Daisy
- drmemory
- Inforence
- PinPoint
- Starkiller
- DANTON
- FLRWSolver
- GRAMSES
- PAYNT
- libunistring
- Automatic proofs of memory deallocation for a Whiley-to-C compiler
- 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
- Ghidra
- Whiley
- textX
- heaptrack
- LLDB Debugger
- 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
- SoftBound
- Performance advantage of reconfigurable cache design on multicore processor systems
- The cache-oblivious Gaussian elimination paradigm: Theoretical framework, parallelization and Experimental evaluation
- The \textsc{MergeSat} solver
- Using static analysis to reduce dynamic analysis overhead
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Ordered line integral methods for solving the eikonal equation
- CADNA
- GILK
- Grail
- FocusCheck
- ACASH
- AspectWerkz
- MiBench
- LLVM
- FXT
- hfloat
- FunFrog
- DiSL
- TMVA
- VMWare
- PARSEC
- BCEL
- Metro
- Ibis
- CFS++
- MediaBench
- SUIF
- mpiP
- gmm++
- evt
- ESBMC
- CCured
- PermLib
- Insure++
- FAdo
- GUItar
- SymPol
- RE2
- Cachegrind
- edge_push_sp
- hess_pat
- Crypto++
- BAP
- Boomerang
- FloPSy
- GDB
- InterAspect
This page was built for software: Valgrind
