• SIMPLIFY

  • Referenced in 140 articles [sw04976]
  • running the program, and therefore can find errors earlier in the design process than dynamic ... testing. Since the cost of correcting an error is reduced if it is detected early...
  • LDPC

  • Referenced in 81 articles [sw03321]
  • restricts use to these purposes). These error-correcting codes were invented by Robert Gallager ... rates approaching channel capacity with very low error probability. This and past versions...
  • RCV1

  • Referenced in 120 articles [sw07279]
  • hierarchical category taxonomies, and the corrections necessary to remove errorful data. We refer...
  • KLEE

  • Referenced in 45 articles [sw04894]
  • COREUTILS utilities, finding functional correctness errors and a myriad of inconsistencies...
  • SEC-DED

  • Referenced in 18 articles [sw03207]
  • codes with single byte error detection and partial correction capability for computer memory systems This ... protection provided by previous single error correcting (SEC)-double error detecting (DED)-single byte error ... codes providing also the correction of any odd number of erroneous bits per byte, where ... capability to correct at least $50%$ of the multiple errors per byte...
  • xtabond2

  • Referenced in 22 articles [sw20376]
  • though without the two-step standard error correction described below. It is sometimes called ”difference ... separate from those fixed effects--idiosyncratic errors that are heteroskedastic and correlated within...
  • EVENODD

  • Referenced in 22 articles [sw02377]
  • based on Reed–Solomon (RS) error-correcting codes. This scheme requires computation over finite fields ... decoding algorithm for one column (track) in error...
  • BLINPLUS

  • Referenced in 32 articles [sw37140]
  • BLINPLUS Macro. The macro %blinplus corrects for measurement error in one or more model covariates ... logistic regression coefficients, their standard errors, and odds ratios and 95% confidence intervals ... corrected. A validation study is required to empirically characterize the measurement error model. Options...
  • SHARK

  • Referenced in 17 articles [sw21955]
  • substitution boxes and maximum distance separable error correcting codes (MDS-codes) to guarantee a good...
  • MemHyb

  • Referenced in 15 articles [sw25194]
  • support vector machine (SVM) with error correction code. We employ a powerful sequence encoding scheme...
  • mfem

  • Referenced in 45 articles [sw22316]
  • monitor the discretization error. Therein, emphasis is on the correct treatment of mexed boundary conditions ... provided software and the quality of the error estimation...
  • QCWAVE

  • Referenced in 6 articles [sw06830]
  • /8.0 to simulate errors and error correction. The basic idea is that parallel versions ... real world situation. Within this approach, error correction steps can be simulated and their efficacy ... errors and the benefits of error correction on particular quantum algorithms.par Other upgrades provided ... parallel multiverse setup is illustrated and error correction is simulated. These extensions and upgrades will...
  • CAP3

  • Referenced in 17 articles [sw08935]
  • also uses forward–reverse constraints to correct assembly errors and link contigs. Results of CAP3...
  • GKLEE

  • Referenced in 10 articles [sw12794]
  • Programs written for GPUs often contain correctness errors such as races, deadlocks, or may compute ... result. Existing debugging tools often miss these errors because of their limited input-space ... analyze C++ GPU programs, locating the aforesaid correctness and performance bugs. For these programs, GKLEE...
  • QuantumCircuit

  • Referenced in 5 articles [sw09246]
  • Simulation of quantum error correction with Mathematica. In this paper we consider the problem ... quantum error correction and its simulation with the computer algebra system Mathematica. Basic ideas ... constructing the quantum error correcting codes are discussed, and some examples of error correction...
  • ARACHNE

  • Referenced in 9 articles [sw07552]
  • overlaps that achieves high accuracy by correcting errors before assembly, read merger based on forward...
  • ScaffCC

  • Referenced in 9 articles [sw21654]
  • level quantum assembly format (QASM), apply error correction, and generate time and area metrics...
  • HSolver

  • Referenced in 43 articles [sw07419]
  • other packages its correctness does not depend on floating point rounding errors. It can handle...
  • INFTY

  • Referenced in 8 articles [sw33686]
  • analysis of mathematical expressions, and manual error correction. In those procedures, several novel techniques...
  • SHREC

  • Referenced in 4 articles [sw35280]
  • SHREC: a short-read error correction method. Motivation: Second-generation sequencing technologies produce a massive ... novo sequencing applications. Moreover, existing error correction methods have been designed and optimized for shotgun ... accurate computational methods and tools for error correction of large amounts of short read data ... present SHREC, a new algorithm for correcting errors in short-read data that uses...