• Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MapReduce

  • Referenced in 251 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • EvalVid

  • Referenced in 7 articles [sw01348]
  • EvalVid -- a framework for video transmission and quality...
  • GridSim

  • Referenced in 49 articles [sw01392]
  • The GridSim toolkit allows modeling and simulation of...
  • PicoDBMS

  • Referenced in 11 articles [sw01550]
  • PicoDBMS: Scaling down database techniques for the smartcard...
  • SCRIBE

  • Referenced in 50 articles [sw02434]
  • SCRIBE: The design of a large-scale event...
  • POTENTIAL

  • Referenced in 2 articles [sw02702]
  • POTENTIAL: A highly adaptive core of parallel database...
  • AHBP

  • Referenced in 7 articles [sw02704]
  • AHBP: An efficient broadcast protocol for mobile ad...
  • FLAR

  • Referenced in 3 articles [sw02755]
  • FLAR: an adaptive fuzzy routing algorithm for communications...
  • MANET

  • Referenced in 26 articles [sw03067]
  • MANET is for exploring data, whether raw data...
  • BRITE

  • Referenced in 32 articles [sw03098]
  • BRITE: A Flexible Generator of Internet Topologies. Abstract...
  • IC2D

  • Referenced in 8 articles [sw03295]
  • IC2D: Interactive control and debugging of distribution Within...
  • JDQR

  • Referenced in 489 articles [sw04021]
  • From this page you can get a Matlab...
  • CPLEX

  • Referenced in 2583 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • OMNet++

  • Referenced in 65 articles [sw04170]
  • OMNeT++ is an extensible, modular, component-based C...
  • NodeXL

  • Referenced in 7 articles [sw04183]
  • Interactive network exploration to derive insights: filtering, clustering...
  • fda (R)

  • Referenced in 1346 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...