• MVSIS

  • Referenced in 1 article [sw38886]
  • MVSIS: Logic Synthesis and Verification. In addition to algorithms for multi ... valued logic, MVSIS includes fast binary synthesis algorithms, technology mapping and resynthesis procedures and state...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • methods, and the large number of available algorithms -- both local search and population-based -- which ... framework allowing the synthesis and evaluation of a variety of algorithms. In addition to these...
  • SLSpy

  • Referenced in 1 article [sw41783]
  • implement a wide variety of synthesis algorithms and disturbance tests. SLSpy comes pre-equipped with...
  • GAMMA

  • Referenced in 1 article [sw13563]
  • tool for identification and controllers algorithms synthesis for linear plants...
  • Algorithm 888

  • Referenced in 3 articles [sw22885]
  • Algorithm 888: Spherical Harmonic Transform Algorithms. A collection of MATLAB classes for computing and using ... spherical geometry. The spectral synthesis and analysis algorithms using fast Fourier transforms and Legendre transforms...
  • CRCBode

  • Referenced in 1 article [sw10849]
  • generated using an automated $H_infty$ synthesis algorithm and discuss the advantages of the CRCBode...
  • SMACS

  • Referenced in 2 articles [sw06144]
  • using abstract interpretation. We propose algorithms for the synthesis of state-feedback controllers with partial ... free controlled systems. The termination of the algorithms solving these problems is ensured using abstract ... transitions to disable. We then extend our algorithms to controllers with memory and to online ... controllers. We also propose improvements in the synthesis of controllers in the finite case which...
  • PSyHCoS

  • Referenced in 2 articles [sw30319]
  • PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Real-time systems are often hard ... language PSTCSP. PSyHCoS supports several algorithms for parameter synthesis and model checking, as well ... reusability in terms of syntax, semantics, and algorithms. It comes with a friendly user interface...
  • PRISM-PSY

  • Referenced in 3 articles [sw33601]
  • tool that performs precise GPU-accelerated parameter synthesis for continuous-time Markov chains and time ... vector operations, the recently formulated algorithms for precise parameter synthesis in order to enable effective...
  • SNARK

  • Referenced in 4 articles [sw19611]
  • support for special unification algorithms, sorts, answer construction for program synthesis, procedural attachment, and extensibility...
  • TCT

  • Referenced in 10 articles [sw13640]
  • software package is designed for the synthesis of supervisory controls for untimed discrete-event systems ... programs implement exactly the same algorithms, but on different platforms...
  • NUT

  • Referenced in 2 articles [sw29714]
  • based programming with facilities for automatic program synthesis. The system allows to specify computational problems ... satisfaction problems are solved using algorithms for automatic program synthesis described earlier for the PRIZ...
  • QuaSiMo

  • Referenced in 1 article [sw38531]
  • algorithms. Subsequently, it allows a synthesis of new hybrid algorithms and workflows via the extension...
  • SYDNA

  • Referenced in 1 article [sw02956]
  • Symbolic analysis of computational algorithms with SYDNA. The paper presents SYDNA (SYmbolic-Driven Numerical Analysis ... dedicated to the analysis and synthesis of numerical algorithms. The system provides a framework...
  • PENELOPE

  • Referenced in 1 article [sw23067]
  • tool is the efficient algorithmic prediction and synthesis of alternate schedules that cover all possible...
  • PRISM-games

  • Referenced in 21 articles [sw12934]
  • which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative ... simulator, whilst adding novel model checking algorithms for stochastic games, as well as functionality...
  • NFFr

  • Referenced in 3 articles [sw31999]
  • circuit synthesis problem can be reduced to permutation group. This allows Schreier–Sims algorithm ... used to find tight bounds on the synthesis of 3-bit reversible circuits using...
  • PyLog

  • Referenced in 1 article [sw41595]
  • PyLog: an algorithm-centric Python-based FPGA programming and synthesis flow. The exploding complexity ... PyLog, a high-level, algorithm-centric Python-based programming and synthesis flow for FPGA. PyLog ... details, and allows designers to focus on algorithm specification. PyLog takes in Python functions, generates...
  • Ariadne

  • Referenced in 14 articles [sw06670]
  • structures and operators to support analysis and synthesis of systems described with hybrid automata ... interfaces. In this way, we can write algorithms which work with any type having...
  • pFaces

  • Referenced in 3 articles [sw30630]
  • capabilities, novel parallel algorithms are designed for abstraction-based controller synthesis. Then, they are implemented...