• 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 state-of-the-art techniques for dimensionality reduction and intrinsic dimensionality...
  • SAMURAI

  • Referenced in 26 articles [sw09145]
  • Scattering amplitudes from unitarity-based reduction algorithm at the integrand-level. SAMURAI is a tool ... module for the systematic evaluation of the virtual corrections oriented towards automating next-to-leading...
  • 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 finite-dimensional 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 test-case reduction heuristics, and the resulting scalability improvement...
  • VMAttack

  • Referenced in 1 article [sw31766]
  • VMAttack is currently limited to stack-based 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 key-frames. Image processing ... mathematical and logical processing and noise reduction. Analysis tools cover both object-based and voxel...
  • Shift

  • Referenced in 4 articles [sw18322]
  • physics engines, hybrid capabilities for variance reduction methods such as the Consistent Adjoint-Driven 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 type-soundness. 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...