Valgrind

From MaRDI portal
Software:16596



swMATH4420MaRDI QIDQ16596


No author found.





Related Items (43)

Discrete ordinates analysis of the forced-flight variance reduction technique in Monte Carlo neutral particle transport simulationsA program slicing-based method for effective detection of coincidentally correct test casesUnnamed ItemIncremental copying garbage collection for WAM-based Prolog systemsAn evaluation of point-insertion sequences for incremental Delaunay tessellationsParallel enumeration of triangulations``Endless workload analysis of large-scale supercomputersUnnamed ItemWheeler graphs: a framework for BWT-based data structuresUnnamed ItemThe cache-oblivious Gaussian elimination paradigm: Theoretical framework, parallelization and Experimental evaluationA survey on design and implementation of protected searchable data in the cloudCapitalizing on \textit{live} variables: new algorithms for efficient Hessian computation via automatic differentiationG-Tries: a data structure for storing and finding subgraphsOn the infeasibility of modeling polymorphic shellcode. Re-thinking the role of learning in intrusion detection systemsDynamic Model Checking with Property Driven Pruning to Detect Race ConditionsPerformance advantage of reconfigurable cache design on multicore processor systemsDynamic analysis of Java program concepts for visualization and profilingMemory-usage advantageous block recursive matrix inverseOptimized high speed pixel sorting and its application in watershed based image segmentationRuntime enforcement monitors: Composition, synthesis, and enforcement abilitiesWhite-box cryptography: don't forget about grey-box attacksAn Abstract Interpretation-Based Framework for Control Flow Reconstruction from BinariesThe IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolutionAlgorithmic differentiation of the Open CASCADE Technology CAD kernel and its coupling with an adjoint CFD solverA usability case study of algorithmic differentiation tools on the ISSM ice sheet modelOptimization of triple-ring electrodes on piezoceramic transducers using algorithmic differentiationA profile-based tool for finding pipeline parallelism in sequential programsExtending Model Checking with Dynamic AnalysisOrdered line integral methods for solving the eikonal equationA theory of monitorsRobust Software Partitioning with Multiple InstantiationPractical Guide to Computer SimulationsAutomatic proofs of memory deallocation for a Whiley-to-C compilerSimulation of operational semantics of machine instructionsNon-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 blocksNumerical modelling via INMOST software platformI'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulationsDoes relativistic cosmology software handle emergent volume evolution?jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentationUsing static analysis to reduce dynamic analysis overheadThe \textsc{MergeSat} solver


This page was built for software: Valgrind