• LMI toolbox

  • Referenced in 1417 articles [sw06383]
  • Inequalities (LMIs) and LMI techniques have emerged as powerful design tools in areas ranging from...
  • QRM

  • Referenced in 625 articles [sw11358]
  • designed to accompany the book Quantitative Risk Management: Concepts, Techniques and Tools by Alexander...
  • NuSMV

  • Referenced in 295 articles [sw04131]
  • designs, as a core for custom verification tools, as a testbed for formal verification techniques...
  • PETSc

  • Referenced in 1127 articles [sw04012]
  • appropriate for a particular problem. By using techniques of object-oriented programming, PETSc provides enormous ... PETSc is a sophisticated set of software tools; as such, for some users it initially ... However, the power of the PETSc design and the algorithms it incorporates may make...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 109 articles [sw19506]
  • frequency domain, or state-space manner. μ-Tools also gives MATLAB® users access to recent ... control techniques to solve control design problems. Control design software, such as μ-Tools, provides...
  • SAMRAI

  • Referenced in 41 articles [sw04441]
  • evolving application requirements. Object-oriented design techniques are valuable tools for capturing characteristics of complex ... demonstrated a substantial amount of code and design re-use in those applications. This flexibility...
  • UG

  • Referenced in 187 articles [sw04596]
  • application. Secondly, the implementation of all these techniques in a code with sufficient generality requires ... been designed to overcome these problems. It provides very general tools for the generation...
  • KEEL

  • Referenced in 100 articles [sw06791]
  • evolutionary learning techniques with different pre-processing techniques, allowing it to perform a complete analysis ... comparison to existing software tools. Moreover, KEEL has been designed with a double goal: research...
  • rCOS

  • Referenced in 14 articles [sw01502]
  • tool support are discussed, followed by a discussion of the concepts, techniques and design decisions ... theory and the development of the prototype tool. The concepts, techniques and decisions discussed here...
  • CSI

  • Referenced in 21 articles [sw09767]
  • confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented ... experimental results show the potential of our tool...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • Tool (WSAT), a tool for analyzing and verifying composite web service designs, with the state ... model checking techniques. Web services are loosely coupled distributed systems communicating via XML messages. Communication...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • designers using a collection of unlinked tools. The implementation then proceeds with informal techniques involving ... unnecessary and unwanted iterations among groups of designers in different companies or different divisions...
  • Simmetrix

  • Referenced in 10 articles [sw12361]
  • leading supplier of tools and techniques for Simulation-Based Design, incorporating advanced engineering analysis into...
  • RRL

  • Referenced in 55 articles [sw28904]
  • algorithms for equational logic based on rewrite techniques. It has now matured into a full ... research tool for investigating the use of formal methods in hardware and software design...
  • FoCs

  • Referenced in 20 articles [sw01591]
  • design verification process. To date, these techniques are applied in isolation using different tools...
  • DOT

  • Referenced in 61 articles [sw14223]
  • Design Optimization Tools. DOT is a general-purpose gradient-based optimization software library that ... linear or nonlinear functions of the design variables. They may be very simple analytical functions ... simulation. Very little formal knowledge of optimization techniques is needed to make efficient...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • design goal such that it is as easy as possible to integrate LoLA into tools ... domains. LoLA supports place/transition nets. Implemented verification techniques cover standard properties (liveness, reversibility, boundedness, reachability...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • support for workflow verification. Errors made at design-time are not detected and result ... Petri-net-based analysis techniques are deployed to verify the correctness of a workflow process ... tools give up. Woflan can interface with several workflow management systems and BPR tools ... generates high-quality diagnostic information guiding the designer towards the error. Woflan is based...
  • SLIQ

  • Referenced in 49 articles [sw11759]
  • building a scalable classifier and presents the design of SLIQ, a new classifier. SLIQ ... attributes. It uses a novel pre-sorting technique in the tree-growth phase. This sorting ... accurate trees. The combination of these techniques enables SLIQ to scale for large data sets ... examples (records), thus making it an attractive tool for data mining...
  • JCell

  • Referenced in 20 articles [sw13353]
  • version with ssGAs in the islands). The design of JCell allows the user to implement ... user some of the most recent proposed techniques in the literature of cGAs (e.g., self ... tool for future research, since it allows the combination of several new promising techniques recently ... published in the literature. Additionally, its careful design following the software engineering recommendations provides...