• Miniball

  • Referenced in 43 articles [sw05179]
  • centers are affinely independent. Via a geometric transformation and suitable generalization, it fits into ... fixed point on the boundary is equivalent to the problem of finding the minimum-norm...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • application. A framework that automatically transforms PLC software to SystemC is presented. The integrated flow ... applied to the verification of PLC programs. Equivalence checking and property checking are applied...
  • loops2recursion

  • Referenced in 1 article [sw16864]
  • iterative loop into an equivalent recursive method. The transformation implements the changes needed to transform...
  • libMC

  • Referenced in 47 articles [sw06615]
  • procedure is first employed to develop an equivalent reformulation in terms of unary and binary ... operator overloading approach (as opposed to program transformation techniques) to automate the relaxation and subgradient...
  • AREP

  • Referenced in 9 articles [sw13167]
  • representation, we hence obtain a fast Fourier transform for G. Our algorithm is based ... representations are considered and manipulated, rather than equivalence classes of representations as it is done ... fast algorithms for discrete linear signal transforms...
  • pyFFTW

  • Referenced in 7 articles [sw15538]
  • unified interface for all the possible transforms that FFTW can perform. Both the complex ... strided arrays, which makes it almost feature equivalent to standard and real FFT functions...
  • CAESAR

  • Referenced in 9 articles [sw29138]
  • generated graph, including model checking, equivalence checking, and visual checking. Taking as input filename.lotos, which ... operations defined in filename.lotos, caesar performs successive transformation steps and produces a C program that...
  • R2D

  • Referenced in 2 articles [sw26497]
  • aims to transform, at run-time, semi-structured RDF data into an equivalent domain-specific ... performance graphs for every stage of the transformation process and screenshots of a relational visualization...
  • ERES

  • Referenced in 8 articles [sw12686]
  • with other existing methodologies. The extended row equivalence and shifting (ERES) method ... several polynomials. The ERES algorithm performs row transformations and shifting on a matrix formed directly...
  • Sigma*

  • Referenced in 12 articles [sw21731]
  • refinement to over-approximate program behavior, Sigma* transforms arbitrary source representation of programs into faithful ... transducers that can be effectively composed and equivalence checked. Thus, Sigma* enables fully automatic analysis...
  • Emlk2d

  • Referenced in 2 articles [sw13516]
  • equivalent to the maximum likelihood estimate and to the conditional expectation. The transform to normality...
  • SMatrix

  • Referenced in 1 article [sw31130]
  • expressions can be transformed at compile time to code which is equivalent to hand optimized...
  • HR-SQL

  • Referenced in 1 article [sw32283]
  • algorithm that transforms a database containing hypothetical definitions into an equivalent one without hypothesis...
  • TASS_

  • Referenced in 3 articles [sw04889]
  • establish that two programs are functionally equivalent. This is particularly useful in scientific computing, where ... sequential encoding of an algorithm, then gradually transform this into a production code by introducing...
  • FingerNet

  • Referenced in 2 articles [sw40760]
  • methods performed well on rolled/slap fingerprints are transformed into convolutional manners and integrated ... network. We demonstrate that this pipeline is equivalent to a shallow network with fixed weights...
  • Algorithm 923

  • Referenced in 6 articles [sw20231]
  • based on unitary transformations, using block Householder transformations and Givens rotations, that are applicable ... class D nanowire, and show numerically the equivalence of definitions based on the Hamiltonian...
  • Cucheb

  • Referenced in 3 articles [sw28326]
  • procedure uses a carefully chosen polynomial spectral transformation to accelerate convergence of the Lanczos method ... theory. We compare our implementation against an equivalent CPU implementation and show that using...
  • POLRANGE

  • Referenced in 1 article [sw10305]
  • first program (POLRANGE) is to transform a polynomial in the generators of a Lie algebra ... with numerical coefficients into an equivalent form which exhibits a freely chosen but prescribed order...