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