
ScaLAPACK
 Referenced in 400 articles
[sw00830]
 computers and networks of workstations supporting parallel virtual machine (PVM) and/or message passing interface ... generalized orthogonal factorizations, orthogonal transformation routines, reductions to upper Hessenberg, bidiagonal and tridiagonal form, reduction...

PELCR
 Referenced in 4 articles
[sw20841]
 graph reduction technique, known as directed virtual reduction, which is actually a restriction of Danos ... Regnier virtual reduction. The environment, which we refer to as PELCR (parallel environment for optimal ... relies on a strategy for directed virtual reduction, namely half combustion. While developing PELCR...

dr
 Referenced in 6 articles
[sw11746]
 implementations of virtually all stateoftheart techniques for dimensionality reduction and intrinsic dimensionality...

SAMURAI
 Referenced in 26 articles
[sw09145]
 Scattering amplitudes from unitaritybased reduction algorithm at the integrandlevel. SAMURAI is a tool ... module for the systematic evaluation of the virtual corrections oriented towards automating nexttoleading...

VFC package
 Referenced in 15 articles
[sw16729]
 develop techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudo ... convenient system of local finitedimensional reductions. We present a general intrinsic strategy for constructing ... need not be addressed. Our approach to virtual fundamental cycles is algebraic rather than geometric...

GKLEE
 Referenced in 10 articles
[sw12794]
 describe the architecture of GKLEE, its symbolic virtual machine model, and describe previously unknown bugs ... kernels. We describe GKLEE’s testcase reduction heuristics, and the resulting scalability improvement...

VMAttack
 Referenced in 1 article
[sw31766]
 VMAttack is currently limited to stackbased virtual machines like VMProtect. We evaluated VMAttack using ... VMProtect and achieved an average execution trace reduction of 89.86% for the dynamic...

BioImageXD
 Referenced in 2 articles
[sw18624]
 renderings can be easily created using virtual camera flying paths or keyframes. Image processing ... mathematical and logical processing and noise reduction. Analysis tools cover both objectbased and voxel...

Shift
 Referenced in 4 articles
[sw18322]
 physics engines, hybrid capabilities for variance reduction methods such as the Consistent AdjointDriven Importance ... Advanced Simulation of Light Water Reactors’ Virtual Environment for Reactor Analysis criticality test suite...

Tweezercalib
 Referenced in 2 articles
[sw00987]
 harmonic trap. Data compression and noise reduction by blocking method applied to power spectrum. Full ... Full accounting for electronic filters (optional), for “virtual filtering” caused by detection system (optional). Full...

Cheetah
 Referenced in 0 articles
[sw28078]
 diffraction patterns of interest results in significant reductions in data volume, thereby simplifying subsequent data ... reduced data in the form of virtual powder patterns, radial stacks, histograms and other meta ... analysis and overall experiment evaluation. Rapid data reduction early in the analysis pipeline is proving...

SINGRAR
 Referenced in 2 articles
[sw02322]
 knowledge base in order to accommodate virtually any type of ship. It uses a distributed ... decision support capabilities in case of failure; reduction of human resources required; and decrease...

McJava
 Referenced in 1 article
[sw01819]
 core of McJava with typing and reduction rules, and proved its typesoundness. We also ... eventually making it runnable on standard Java virtual machines...

WebClipper
 Referenced in 1 article
[sw01015]
 domain for web surfers, leading to a reduction in the cognitive load placed on them ... extracts its index data to form a virtual digital library. Using WebClipper, a user...

FlinkCL
 Referenced in 1 article
[sw27868]
 Time (JIT) compiling schema, a hierarchical partial reduction (HPR) and a heterogeneous task management strategy ... avoid serialization or deserialization between Java Virtual Machine (JVM) objects and OpenCL structs. We have...

Eleven82
 Referenced in 1 article
[sw17445]
 variety of platforms (filesystems, virtual slices, mobile hardware, etc.) that do not provide 100% uptime ... correctly recovers from a crash via a reduction to reachability. Our technique takes an input...

ANSYS
 Referenced in 652 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 195 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 276 articles
[sw00060]
 ACL2 is both a programming language in which...

Coq
 Referenced in 1763 articles
[sw00161]
 Coq is a formal proof management system. It...