Results 1 to 20 of 23
Sort by:

  • TimSort
  • Referenced in 2 articles [sw39787]
  • byproduct of our study, we uncover a bug in the Java implementation that can cause ... natural parameter here and part of the explanation for the good behavior of TimSort...

  • Bogart
  • Referenced in 2 articles [sw34517]
  • analysis and remediation of Year 2000 bugs. This study demonstrates that certain AI techniques ... code. This reaffirms the need for an explanation facility in intelligent applications...

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

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

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

  • LIBSVM
  • Referenced in 1204 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...

  • fields
  • Referenced in 58 articles [sw08187]
  • R package fields: Tools for spatial data. Fields...

  • Eraser
  • Referenced in 45 articles [sw08922]
  • Eraser: a dynamic data race detector for multithreaded...

  • RacerX
  • Referenced in 16 articles [sw09941]
  • RacerX: Effective, static detection of race conditions and...

  • gamair
  • Referenced in 344 articles [sw11132]
  • R package gamair: Data for ”GAMs: An Introduction...

  • Goldilocks
  • Referenced in 10 articles [sw12806]
  • Goldilocks: a race and transaction-aware Java runtime...

  • TensorFlow
  • Referenced in 653 articles [sw15170]
  • TensorFlow™ is an open source software library for...

  • PrefixSpan
  • Referenced in 85 articles [sw20761]
  • PrefixSpan: mining sequential patterns efficiently by prefix-projected...

  • CTrigger
  • Referenced in 3 articles [sw23066]
  • CTrigger: exposing atomicity violation bugs from their hiding...

  • bzip2smp
  • Referenced in 1 article [sw23085]
  • BZIP2SMP. This program parallelizes the BZIP2 compression process...

  • FastTrack
  • Referenced in 4 articles [sw23086]
  • FastTrack: efficient and precise dynamic race detection. Multithreaded...

  • Falcon
  • Referenced in 2 articles [sw23088]
  • Falcon: fault localization in concurrent programs. Concurrency fault...

  • CHESS
  • Referenced in 5 articles [sw23089]
  • CHESS: a systematic testing tool for concurrent software...

  • AVIO
  • Referenced in 6 articles [sw23090]
  • AVIO: detecting atomicity violations via access interleaving invariants...