• CONOPT

  • Referenced in 164 articles [sw02791]
  • tactical decisions in the development, upgrade, and maintenance of CONOPT over the last 8 years ... efficiency and a reliability point of view. This is especially true for models with fairly...
  • MEDWRAP

  • Referenced in 2 articles [sw02346]
  • MEDWRAP: Consistent view maintenance over distributed multi-relation sources. Warehouses today extract information from several ... sources, each with multiple relations. Incremental View Maintenance (VM) of warehouses in such environments faces ... that this achieves correct and consistent view maintenance. Not requiring intermediate views to be stored...
  • SampleClean

  • Referenced in 1 article [sw37881]
  • problems in database research, namely, materialized view maintenance. To avoid expensive incremental maintenance, we maintain...
  • CellML

  • Referenced in 25 articles [sw05635]
  • markup. The interface attributes describe the external view of the component, specifying those variables visible ... grouping. These assist in the creation and maintenance of models but do not alter...
  • SAFERELNET

  • Referenced in 1 article [sw25304]
  • systems and structures from the point of view of balancing the economic aspects associated with ... safety levels, with the associated costs of maintenance and availability. The approaches include modelling...
  • PANGAEA

  • Referenced in 1 article [sw30455]
  • mining tool (ART). The client used for maintenance of information contents is optimized for data ... plotting tool PanPlot, and Ocean Data View (ODV) for the exploration of oceanographic data. PANGAEA ... acquisition of new data and the maintenance of the system but also for further technical...
  • Ciao

  • Referenced in 2 articles [sw16985]
  • from various software documents to accomplish a maintenance task. Ciao is a graph-based navigator ... default. Various presentation filters generate graph views, source views, and relational views from any compatible...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • TIMBER

  • Referenced in 20 articles [sw02327]
  • TIMBER: A native XML database. This paper describes...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • AMPL

  • Referenced in 594 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • UCI-ml

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

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