• CLASS

  • Referenced in 2 articles [sw02889]
  • quality of connectionless services in ATM networks. The tool is named CLASS for ConnectionLess ... CLASS allows the performance analysis of ATM networks adopting the viewpoint of both ... performance is also supported. With CLASS, the network synthetic workload can be modeled choosing from ... higher level protocols, like TCP, access the ATM services...
  • Mobiware

  • Referenced in 4 articles [sw10697]
  • adaptive mobile networking. Existing mobile systems (e.g., mobile IP, mobile ATM, and third-generation cellular ... there is a need to develop alternative network architectures from the existing ones to deal...
  • SN

  • Referenced in 1 article [sw26704]
  • describes the initial implementation of our neural network simulator SN (later renamed Lush). Various incarnations ... across the world reads checks automatically. Some ATM machines made by NCR can read checks ... been developed with SN, including convolutionnal neural networks for image recognition or signal processing...
  • 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...
  • 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...
  • XPPAUT

  • Referenced in 464 articles [sw05543]
  • XPPAUT is software for the analysis and simulation...
  • CGS

  • Referenced in 329 articles [sw08225]
  • CGS, a fast Lanczos-type solver for nonsymmetric...
  • longmemo

  • Referenced in 649 articles [sw11216]
  • longmemo: Statistics for Long-Memory Processes (Jan Beran...
  • OpenCV

  • Referenced in 117 articles [sw11376]
  • OpenCV (Open Source Computer Vision Library) is an...
  • CVRPSP

  • Referenced in 133 articles [sw13447]
  • The CVRPSEP package is a collection of routines...