Results 21 to 40 of 72
Sort by:

  • 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...