• LARCH

  • Referenced in 104 articles [sw02126]
  • storage allocation mechanisms used by different languages. It is easier to be precise about communication...
  • FPTuner

  • Referenced in 1 article [sw21697]
  • valued expressions. FPTuner generates a mixed-precision allocation (single, double, or quadruple precision ... FPTuner also allows users to control precision allocation in ways that helps optimize code ... number of type-casts introduced during precision allocation. Capping the number of type-casts ... these expressions to share the same precision allocation. Doing so encourages the compiler...
  • Dyn-MPI

  • Referenced in 2 articles [sw09643]
  • environment. Dyn-MPI supports efficient memory allocation, precise measurement of system load and computation time...
  • Algorithm 719

  • Referenced in 41 articles [sw13183]
  • original Fortran program, the user declares the precision level and specifies which variables in each ... space for multiprecision data types is automatically allocated. In the evaluation of computational expressions...
  • cuQuWa

  • Referenced in 1 article [sw28320]
  • advantage of a memory allocation not depending on the precision of calculation. Both algorithms...
  • GCminor

  • Referenced in 4 articles [sw22622]
  • allocating memory in a garbage-collected heap and for specifying GC roots; (ii) a precise...
  • surveyplanning

  • Referenced in 1 article [sw39011]
  • expected precision for the estimates of totals, and calculation of optimal sample size allocation...
  • SamplingStrata

  • Referenced in 5 articles [sw11930]
  • algorithm to calculate the sampling size satisfying precision constraints on the target estimates. Functions ... frame accordingly to the best allocation. Functions for the execution of the genetic algorithm...
  • RecInt

  • Referenced in 1 article [sw32921]
  • double-size data-structure. Contrary to arbitrary precision packages like GMP, that create vectors ... created on the stack. The space allocated for these integers is a power ... specific sizes and thresholds. The main target precision is for cryptographic sizes, that...
  • SAFECode

  • Referenced in 4 articles [sw13323]
  • that aggressive interprocedural pointer analysis (or less precise ones), a call graph, and type information ... previously published transformation called Automatic Pool Allocation to ensure that hard-to-detect memory errors...
  • SLV

  • Referenced in 3 articles [sw20783]
  • isolated roots up to an arbitrary precision. Currently, it is realizes a subdivision algorithm based ... minimize the number of allocations in the memory we wrote a small wrapper...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • NTL

  • Referenced in 220 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...