• SPINS

  • Referenced in 49 articles [sw02657]
  • Wireless sensor networks will be widely deployed in the near future. While much research ... evidence of data freshness. µTESLA provides authenticated broadcast for severely resource-constrained environments. We implemented...
  • IP3S

  • Referenced in 1 article [sw01353]
  • power-conserving multicast and broadcast algorithms in static wireless ad hoc networks...
  • Coq

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

  • Referenced in 6112 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • NAG

  • Referenced in 420 articles [sw00610]
  • Produced by experts for use in a variety...
  • GRASP

  • Referenced in 130 articles [sw01094]
  • Algorithm 754: Fortran subroutines for approximate solution of...
  • OPNET

  • Referenced in 10 articles [sw02616]
  • The conception and characteristics of data Link 16...
  • AHBP

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

  • Referenced in 3 articles [sw02708]
  • PCBA: A priority-based competitive broadcasting algorithm in...
  • HOL/SPIN

  • Referenced in 24 articles [sw02987]
  • Routing information protocol in HOL/SPIN We provide a...
  • CPLEX

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

  • Referenced in 403 articles [sw04091]
  • The COMSOL Multiphysics engineering simulation software environment facilitates...
  • HyTech

  • Referenced in 330 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • OMNet++

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

  • Referenced in 516 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • LINDO

  • Referenced in 546 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • Uppaal

  • Referenced in 639 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • VRP

  • Referenced in 1047 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • MPI/MPICH

  • Referenced in 162 articles [sw06126]
  • MPI / MPICH Message Passing Interface MPI is the...
  • Maude

  • Referenced in 675 articles [sw06233]
  • Maude is a high-performance reflective language and...