Results 1 to 14 of 14
Sort by:

  • Mobiware
  • Referenced in 4 articles [sw10697]
  • adaptive mobile networking. Existing mobile systems (e.g., mobile IP, mobile ATM, and third-generation cellular ... wireless and mobile environments. We believe that there is a need to develop alternative network...

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

  • TSPLIB
  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...

  • CLASS
  • Referenced in 2 articles [sw02889]
  • ATM simulation with CLASS The paper describes an...

  • AMPL
  • Referenced in 622 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...

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

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

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

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

  • AIMMS
  • Referenced in 109 articles [sw04912]
  • AIMMS is an optimization technology that enables you...

  • VRP
  • Referenced in 1128 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...

  • Akaroa
  • Referenced in 5 articles [sw05513]
  • The Akaroa research project is aimed at improving...