• CVX

  • Referenced in 855 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • YALMIP

  • Referenced in 1063 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Mosek

  • Referenced in 509 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • Uppaal

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

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Maude

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

  • Referenced in 51 articles [sw06955]
  • A calculus for orchestration of web services. We...
  • Robotics

  • Referenced in 111 articles [sw07383]
  • The Robotics Toolbox is a software package that...
  • NS-3

  • Referenced in 4 articles [sw07496]
  • Effects of traffic properties and degree heterogeneity in...
  • Linda

  • Referenced in 103 articles [sw09427]
  • Generative communication in Linda. Generative communication is the...
  • UMDES

  • Referenced in 403 articles [sw09523]
  • UMDES Software Library: UMDES-LIB is a library...
  • ns-2

  • Referenced in 194 articles [sw11690]
  • The Network Simulator - ns-2. Ns is a...
  • SAX

  • Referenced in 20 articles [sw15673]
  • SAX is the Simple API for XML, originally...
  • PEGASUS

  • Referenced in 8 articles [sw17479]
  • PEGASUS: A peta-scale graph mining system implementation...
  • PLAN

  • Referenced in 13 articles [sw22065]
  • PLAN: a packet language for active networks. PLAN...
  • Binder

  • Referenced in 15 articles [sw26750]
  • Binder, a logic-based security language. We introduce...