• BitBlaze

  • Referenced in 11 articles [sw10059]
  • Security: Binary analysis is imperative for protecting COTS (common off-the-shelf) programs and analyzing ... binary level, can be used for analyzing COTS software, as well as malicious binaries ... order to (1) analyze and develop novel COTS protection and diagnostic mechanisms and (2) analyze...
  • Geometry Tutor

  • Referenced in 11 articles [sw32253]
  • high school geometry consists of a cot of ideal and buggy rules (IRR), a tutor...
  • PALLOC

  • Referenced in 5 articles [sw20960]
  • solution, which is fully compatible with existing COTS hardware platforms and transparent to applications...
  • GME

  • Referenced in 5 articles [sw33604]
  • applications or to synthesize input to different COTS analysis tools. GME has a modular, extensible...
  • ESPADON

  • Referenced in 2 articles [sw03180]
  • based predominately on commercial off the shelf (COTS) components and the model-year concept ... automatic code generation tools, onto real-time COTS test beds. In this paper...
  • BiCom

  • Referenced in 3 articles [sw01730]
  • BiCom: An evaluation framework for COTS components...
  • eCots

  • Referenced in 1 article [sw19241]
  • eCots platform: An inter-industrial initiative for COTS-related information sharing. The goal ... sharing and improving accurate information on software COTS products and producers. The core information will ... depth formalization and standardization of the COTS related data, as well as innovative business...
  • P3S

  • Referenced in 2 articles [sw27062]
  • been implemented on top of a COTS JMS platform (ActiveMQ). Results of preliminary security analysis...
  • LINDO

  • Referenced in 535 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • Knapsack

  • Referenced in 461 articles [sw04723]
  • Knapsack problems are the simplest NP-hard problems...
  • LINGO

  • Referenced in 293 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • HamPath

  • Referenced in 9 articles [sw11824]
  • HAMPATH: on solving optimal control problems by indirect...
  • PipLib

  • Referenced in 19 articles [sw23763]
  • PIP/Piplib, a parametric integer linear programming solver. PIP/PipLib...
  • VisualDSP

  • Referenced in 1 article [sw33551]
  • VisualDSP++ C/C++ Compiler and Library. VisualDSP++ for Blackfin...