• BUGS

  • Referenced in 324 articles [sw07885]
  • began in 1989 in the MRC Biostatistics Unit, Cambridge, and led initially to the `Classic...
  • NuSMV

  • Referenced in 287 articles [sw04131]
  • joint project between: The Embedded Systems Unit in the Center for Information Technology...
  • Qhull

  • Referenced in 269 articles [sw04419]
  • halfspace. A halfspace is defined by a unit normal and an offset...
  • VAMPIRE

  • Referenced in 227 articles [sw02918]
  • modulo commutativity), subsumption resolution, rewriting by ordered unit equalities, and a lightweight basicness. The CASC...
  • Rcpp

  • Referenced in 163 articles [sw08385]
  • Many examples are included, and around 891 unit tests in 430 unit test functions provide...
  • Ada95

  • Referenced in 128 articles [sw01753]
  • Honeywell Bull under contract to the United States Department of Defense (DoD) from...
  • AspectJ

  • Referenced in 128 articles [sw04426]
  • attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice...
  • OpenGL

  • Referenced in 128 articles [sw06740]
  • used to interact with a Graphics processing unit (GPU), to achieve hardware-accelerated rendering. OpenGL...
  • CUTE

  • Referenced in 58 articles [sw00177]
  • CUTE: a concolic unit testing engine for C. In unit testing, a program is decomposed ... into units which are collections of functions. A part of unit can be tested ... which case the inputs to the unit are memory graphs. The paper addresses the problem ... automating unit testing with memory graphs as inputs. The approach used builds on previous work...
  • MKL

  • Referenced in 105 articles [sw06975]
  • processors have increasing core counts, wider vector units and more varied architectures. The easiest...
  • DistAl

  • Referenced in 96 articles [sw01746]
  • algorithm Multi-layer networks of threshold logic units offer an attractive framework for the design...
  • Cohn-Kanade

  • Referenced in 52 articles [sw04974]
  • sequences may be analyzed for both action units and prototypic emotions. The non-posed expressions ... results for facial feature tracking and action unit and emotion recognition. Tracking results for shape ... approach of Matthews & Baker (2004). For action unit and expression recognition, a linear support vector...
  • HLM

  • Referenced in 41 articles [sw06516]
  • individuals can be seen as level-1 units of study, and the groups into which ... they are arranged are level-2 units. This may be extended further, with level ... units organized into yet another set of units at a third level and with level ... units organized into another set of units at a fourth level. Examples of this abound...
  • DART

  • Referenced in 68 articles [sw07260]
  • violations, and non-termination. Preliminary experiments to unit test several examples of C programs...
  • CUBLAS

  • Referenced in 65 articles [sw06880]
  • computational resources of NVIDIA Graphics Processing Unit (GPU), but does not auto-parallelize across multiple...
  • SCPACK

  • Referenced in 65 articles [sw11658]
  • that maps the interior of the unit disk in the complex plane onto the interior...
  • MIXED

  • Referenced in 64 articles [sw06480]
  • made on the same subject or experimental units can be modeled using random effects...
  • Nektar++

  • Referenced in 59 articles [sw11964]
  • streaming architectures such as modern graphical processing units (GPUs). We propose an algorithmic pipeline...
  • JUnit

  • Referenced in 29 articles [sw07262]
  • simple and practical approach to unit testing: The JML and JUnit way. Writing unit test ... integral part of programming. However, unit testing is a practical approach to increasing the correctness ... Extreme Programming approach relies on frequent unit testing. par In this paper we present ... approach that makes writing unit tests easier. It uses a formal specification language’s runtime...
  • AETG

  • Referenced in 55 articles [sw09715]
  • used in a variety of applications for unit, system, and interoperability testing. It has generated...