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