• SWiMNet

  • Referenced in 4 articles [sw01600]
  • SWiMNet: A scalable parallel simulation testbed for wireless...
  • ENDE

  • Referenced in 4 articles [sw02240]
  • ENDE: A end-to-end network delay emulator...
  • MRSVP

  • Referenced in 12 articles [sw02317]
  • MRSVP: A resource reservation protocol for an integrated...
  • SPINS

  • Referenced in 50 articles [sw02657]
  • Wireless sensor networks will be widely deployed in...
  • LOTOS

  • Referenced in 150 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • HOL/SPIN

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

  • Referenced in 12 articles [sw03215]
  • Theoretically good distributed CDMA/OVSF code assignment for wireless...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 836 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SDPT3

  • Referenced in 597 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

  • Referenced in 2945 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

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

  • Referenced in 372 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • OMNet++

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

  • Referenced in 94 articles [sw04505]
  • R package forecast: Forecasting functions for time series...
  • Uppaal

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

  • Referenced in 71 articles [sw04783]
  • (COL) Computational Optimization Laboratory, Director: Yinyu Ye, Links...
  • levmar

  • Referenced in 52 articles [sw04809]
  • levmar : Levenberg-Marquardt nonlinear least squares algorithms in...
  • LIBSVM

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

  • Referenced in 483 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...