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