• OTTER

  • Referenced in 316 articles [sw02904]
  • longer being actively developed, and maintenance and support minimal. We recommend using Otter/Mace2’s successor...
  • PMTK

  • Referenced in 211 articles [sw14689]
  • Since December 2011, the toolbox is in maintenance mode, meaning that bugs will be fixed...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • paradigm in high performance library production and maintenance, which we term automated empirical optimization...
  • CONOPT

  • Referenced in 168 articles [sw02791]
  • tactical decisions in the development, upgrade, and maintenance of CONOPT over the last 8 years...
  • MKL

  • Referenced in 145 articles [sw06975]
  • also save development, debug and maintenance time while knowing that the code you write today...
  • Isar

  • Referenced in 144 articles [sw04599]
  • human understanding (for communication, or just maintenance). The Intelligible semi-automated reasoning (Isar) approach...
  • Code_Aster

  • Referenced in 56 articles [sw06676]
  • expertise and the maintenance of power plants and electrical networks...
  • BIDE

  • Referenced in 36 articles [sw39999]
  • pattern mining algorithms work under the candidate maintenance-and-test paradigm which is inherently costly ... mining frequent closed sequences without candidate maintenance. We adopt a novel sequence closure checking scheme...
  • BacSim

  • Referenced in 22 articles [sw17261]
  • describes bacterial properties including substrate uptake, metabolism, maintenance, cell division and death at the individual ... Donachie model predicted cell sizes correctly. For maintenance, the Herbert model (constant specific rate ... reproduced all input parameters. Growth characteristics when maintenance and uptake rates were proportional to either...
  • Freebase

  • Referenced in 29 articles [sw27335]
  • query API for research, the creation and maintenance of structured data, and application building. Access...
  • CellML

  • Referenced in 27 articles [sw05635]
  • grouping. These assist in the creation and maintenance of models but do not alter...
  • TNT

  • Referenced in 25 articles [sw05665]
  • that address many of the portability and maintenance problems with C++ code...
  • Hat

  • Referenced in 23 articles [sw13679]
  • program works, especially for teaching and program maintenance. Hat is not a time or space...
  • Atelier B

  • Referenced in 16 articles [sw07086]
  • Edition available to anyone without any restriction, Maintenance Edition for maintenance contract holders only...
  • ROADRUNNER

  • Referenced in 22 articles [sw06133]
  • hand, and therefore their generation and maintenance are difficult and labor intensive. To automate...
  • SAP APO

  • Referenced in 22 articles [sw13389]
  • receipt through stock monitoring to product shipping; Maintenance of relationships with customers and business partners...
  • HYTEC

  • Referenced in 14 articles [sw11520]
  • module-oriented structure which facilitates maintenance and improves coding flexibility. In particular, using the geochemical...
  • LaGriT

  • Referenced in 14 articles [sw13624]
  • mesh generation, mesh optimization and dynamic mesh maintenance in two and three dimensions...
  • AntHocNet

  • Referenced in 14 articles [sw28057]
  • reactive path setup with proactive path probing, maintenance and improvement. The algorithm is based...
  • NAGWare

  • Referenced in 13 articles [sw07474]
  • from the use of the tools during maintenance of existing software as the checks help...