• R

  • Referenced in 9969 articles [sw00771]
  • considered as a different implementation of S. There are some important differences, but much code ... time-series analysis, classification, clustering, ...) and graphical techniques, and is highly extensible. The S language...
  • Mfree2D

  • Referenced in 324 articles [sw15725]
  • discretisation is fully automatic. Adaptive refinement techniques are implemented to ensure the results...
  • REDLOG

  • Referenced in 166 articles [sw04250]
  • explain the design issues and implementation techniques...
  • UG

  • Referenced in 191 articles [sw04596]
  • these innovative techniques have been implemented mostly in university research codes and only very ... routine application. Secondly, the implementation of all these techniques in a code with sufficient generality ... hand, a whole range of algorithms already implemented can be applied to complex problems...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • shell and a kernel. The kernel implements the calculi of ordered binary resolution and superposition ... number of standard redundancy criteria and simplification techniques are used for pruning the search space ... ordering. The lexicographic path ordering has been implemented recently but will not be used ... number of efficient indexing techniques are used to implement all major operations on sets...
  • LMI toolbox

  • Referenced in 1463 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have emerged as powerful design tools in areas ... structural design. The LMI Control Toolbox implements state-of-the-art interior-point LMI solvers...
  • HYPLAS

  • Referenced in 201 articles [sw17661]
  • text is to describe in detail numerical techniques used in small and large strain finite ... computer implementation within a quasi-static finite element scheme. Many of the techniques discussed ... written to illustrate the practical implementation of such techniques. We make no pretence that...
  • Tabu search

  • Referenced in 1066 articles [sw08556]
  • results, which demonstrates that a well-tuned implementation makes it possible to obtain solutions ... have not been matched by other known techniques...
  • DUNE

  • Referenced in 184 articles [sw01466]
  • grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite ... libraries. Modern C++ programming techniques enable very different implementations of the same concept (i.e. grids...
  • iProver

  • Referenced in 56 articles [sw09707]
  • iProver incorporates state-of-the-art implementation techniques such as indexing, redundancy elimination, semantic selection...
  • PETSc

  • Referenced in 1584 articles [sw04012]
  • that provide the building blocks for the implementation of large-scale application codes on parallel ... appropriate for a particular problem. By using techniques of object-oriented programming, PETSc provides enormous ... algorithms it incorporates may make the efficient implementation of many application codes simpler than “rolling...
  • WASP

  • Referenced in 56 articles [sw09565]
  • under the stable model semantics. WASP implements techniques originally introduced for SAT solving that have...
  • Piccolo

  • Referenced in 52 articles [sw13242]
  • keys. Adopting several novel design and implementation techniques, Piccolo achieves both high security and notably...
  • AIR tools

  • Referenced in 92 articles [sw09203]
  • classes of methods are implemented: Algebraic reconstruction techniques and simultaneous iterative reconstruction techniques. In addition...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow ... machines. All solution modules use special storage techniques to save memory both for intermediate result...
  • PAT

  • Referenced in 38 articles [sw13258]
  • animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such ... achieve good performance, advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry...
  • ComPAIRS

  • Referenced in 46 articles [sw16191]
  • decision support programs are early implementations of techniques based on the propagation of imprecise preference...
  • ILOG SCHEDULE

  • Referenced in 77 articles [sw21243]
  • Implementation of resource constraints in ILOG SCHEDULE: a library for the development of constraint-based ... constraint-based techniques and tools enables the implementation of precise, flexible efficient and extensible scheduling...
  • GreatSPN 1.7

  • Referenced in 41 articles [sw01562]
  • with timed Petri net based modeling techniques. It implements efficient analysis algorithms to allow...