• 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...