• QCAPro

  • Referenced in 10 articles [sw22782]
  • Circuit Design. n this work we present a novel probabilistic modeling tool (QCAPro) to estimate ... Automata (QCA) circuits. The tool uses a fast approximation based technique to estimate highly erroneous ... cells in QCA circuit design. QCAPro also provides an estimate of power loss...
  • TRADE

  • Referenced in 5 articles [sw02908]
  • Techniques for reactive system design: the tools in TRADE Reactive systems are systems whose purpose ... software. The current generation of information system design methods cannot cope with the high demands ... reactive systems. We define an approach to designing reactive software systems that deals with these ... from various information system and software design techniques and extending this with formal specification techniques...
  • Privtrans

  • Referenced in 4 articles [sw23074]
  • hand [18, 28]. We design techniques and develop a tool called Privtrans that allows...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • toolkit. We are building a general-purpose tool for computing and visualizing solutions to systems ... also developing a new set of solution techniques using multi-polynomial resultants and birational maps ... arbitrary algebraic sets and hypersurfaces. Our designed tool shall be portable and allow rapid prototyping ... algebraic equation solving by devising novel techniques, blending existing methods to form new ones...
  • SUGAR

  • Referenced in 12 articles [sw15321]
  • source simulation tool for micro-electromechanical systems (MEMS) based on nodal analysis techniques from ... integrated-circuit community’s fabrication techniques, but little of the wealth of simulation capabilities ... student and professional circuit designers regularly use circuit simulation tools like SPICE, while MEMS designers...
  • Alya

  • Referenced in 20 articles [sw08539]
  • flows has become an important tool in the design of ship hulls. A two-fluid ... tetrahedras and prisms. A Variational Multiscale Stabilization technique known as Algebraic Sub Grid Scale Stabilization...
  • HIPRE 3+

  • Referenced in 13 articles [sw04710]
  • Hierarchy Process, SMART - The Simple Multiattribute Rating Technique. You can run both methods independently ... HIPRE 3+ is designed to be a powerful yet simple tool to be used...
  • dSPIN

  • Referenced in 31 articles [sw09888]
  • function pointers); garbage collection; symmetry reductions. The design of dSPIN is driven by the need ... enhance the expressiveness of existing modeling techniques, while coping with potential complexity blow-ups caused ... random simulator and verifier generator. The tool is SPIN-backwards compatible that is, every standard...
  • TPtool

  • Referenced in 6 articles [sw11769]
  • Tool -a MATLAB Toolbox for TP Model Transformation. The Tensor Product model transformation ... outcome of soft computing based identification techniques such as neural networks or fuzzy logic based ... Matrix Inequality) based multi-objective control design techniques can immediately be executed in order ... tool is a MATLAB Toolbox that implements the Tensor Product Model Transformation based Control Design...
  • PID_tuning

  • Referenced in 13 articles [sw06803]
  • design task even more difficult. The PID tuning procedure that is implemented in the tool ... based on simulation and constrained optimization techniques. First, the control system is modeled, and then...
  • MediaBench

  • Referenced in 33 articles [sw08949]
  • MediaBench: a tool for evaluating and synthesizing multimedia and communication systems. Significant advances have been ... inner-loops, suggests that ILP compilation techniques are well suited to these applications. Unfortunately, there ... MediaBench, a benchmark suite that has been designed to fill this gap. This suite...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • deadlocks. This paper describes RacerX, a static tool that uses flow-sensitive, interprocedural analysis ... race conditions and deadlocks. It is explicitly designed to find errors in large, complex multithreaded ... uses novel techniques to counter the impact of analysis mistakes. The tool is fast, requiring...
  • Augur 2

  • Referenced in 12 articles [sw08403]
  • describe the design and the present state of the verification tool Augur 2 which ... based on Augur 1, a tool which can analyze graph transformation systems by approximating them ... will include more functionality and new analysis techniques...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • these calculations. For example, self-validating numerical techniques have been successfully applied to a variety ... Other ACRITH-XSC features have been specifically designed for numerical purposes: numeric constant and data ... accuracy.\parThe main language features and numerical tools of ACRITH-XSC are presented and illustrated...
  • QRMlib

  • Referenced in 4 articles [sw24392]
  • library designed to accompany the book Quantitative Risk Management: Concepts, Techniques and Tools by Alexander...
  • BitBlaze

  • Referenced in 11 articles [sw10059]
  • binaries. Thus, we need to develop tools and techniques which work at the binary level ... malicious binaries. The BitBlaze project aims to design and develop a powerful binary analysis platform...
  • UQLab

  • Referenced in 30 articles [sw19740]
  • software framework designed to bring state-of-the art uncertainty quantification (UQ) techniques and algorithms ... research into a single software tool. UQLab provides now the software backbone of the Chair...
  • COSSAN

  • Referenced in 9 articles [sw16555]
  • field of stochastic methods including various sampling techniques, random fields, fatigue analysis, reliability based optimization ... analysis. The Third Party Communication Tools are designed to extend existing deterministic FE-codes...
  • RAHFT

  • Referenced in 2 articles [sw24485]
  • complementary techniques. It is interfaced with an abstract domain, a tool for manipulating finite tree ... modular design and customizable components allows for experimenting with new verification techniques and tools developed...
  • TM4

  • Referenced in 12 articles [sw26846]
  • analysis. Microarrays have emerged as the premier tool for studying gene expression on a genomic ... this technique are often challenged by the large quantities of data produced. Well-designed, user ... microarray experiments. The TM4 suite of tools consist of four major applications, Microarray Data Manager...