Results 21 to 31 of 31
Sort by:

  • Chord
  • Referenced in 212 articles [sw09434]
  • Chord: A scalable peer-to-peer lookup service...

  • Alcoa
  • Referenced in 28 articles [sw09481]
  • Alcoa: the Alloy constraint analyzer. Alcoa is a...

  • Smallfoot
  • Referenced in 53 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic...

  • Lua
  • Referenced in 40 articles [sw10207]
  • Lua is a powerful, fast, lightweight, embeddable scripting...

  • VTK
  • Referenced in 120 articles [sw10593]
  • The Visualization Toolkit (VTK) is an open-source...

  • PRINCE
  • Referenced in 69 articles [sw13240]
  • PRINCE -- a low-latency block cipher for pervasive...

  • PyTorch
  • Referenced in 426 articles [sw20939]
  • PyTorch python package: Tensors and Dynamic neural networks...

  • ImageNet
  • Referenced in 667 articles [sw21105]
  • ImageNet is an image dataset organized according to...

  • GitHub
  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...

  • AlexNet
  • Referenced in 474 articles [sw38522]
  • AlexNet is a convolutional neural network that is...