• SB-ADPCM

  • Referenced in 3 articles [sw03236]
  • closed form expression of the optimum bit allocation taking into account of the stability...
  • FSBAllocator

  • Referenced in 1 article [sw22642]
  • fast). Each allocated element has an overhead of 4 bytes in 32-bit systems ... bit systems), which is the same as with most default memory allocators. Thus this allocator ... boundaries, while FSBAllocator allocates to 4-byte boundaries (in 32-bit systems). The disadvantages...
  • GAUT

  • Referenced in 4 articles [sw17048]
  • bit-accurate specification written in C/C++, GAUT extracts the potential parallelism before processing the allocation...
  • ff

  • Referenced in 5 articles [sw23393]
  • quad (2 bit unsigned), nibble (4 bit unsigned), byte (1 byte signed with NAs), ubyte ... notable delay thanks to using sparse file allocation. Several access optimization techniques such as Hybrid ... files i.e. logicals take up exactly 2 bits to represent TRUE, FALSE and NA. Beyond...
  • libFIRM

  • Referenced in 0 articles [sw31100]
  • High-quality register allocation; Mature code generation support for x86 (32-bit) and SPARC...
  • SAFECode

  • Referenced in 4 articles [sw13323]
  • insight behind our approach is that pool allocation can be used to create ... meta-data on pointers or individual tag bits for memory. Using several benchmark...
  • COMeT+

  • Referenced in 1 article [sw20557]
  • improved DRAM density. As density increases, smaller bit cells become more susceptible to errors. With ... multi-threaded applications in anticipation of allocation requests. The approach guarantees that memory is tested...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Coq

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

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

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

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

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NTL

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

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

  • Referenced in 421 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • JPEG2000

  • Referenced in 66 articles [sw02062]
  • The JPEG 2000 Suite provides a comprehensive overview...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • PVS

  • Referenced in 634 articles [sw03484]
  • PVS is a verification system: that is, a...