• PRISM-PSY

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

  • Referenced in 2 articles [sw35018]
  • ClariNet have achieved real-time audio synthesis capability by incorporating inverse autoregressive flow for parallel ... loss terms. We propose FloWaveNet, a flow-based generative model for raw audio synthesis. FloWaveNet ... maximum likelihood loss, without any additional auxiliary terms, and it is inherently parallel...
  • SKIL

  • Referenced in 2 articles [sw25433]
  • interactive theorem prover dedicated to program synthesis and implemented in Quintus- Prolog. The object-level ... Since the object-level is constructive, terms of λ-calculus are constructed during the proof ... search. These extracted terms are programs following the programming with proofs paradigm, having ... synthesis environment, since a specification can be regarded as a proposition and its extracted term...
  • SCOTS

  • Referenced in 20 articles [sw20172]
  • software tool for the automatic controller synthesis for nonlinear control systems based on symbolic models ... specifications, are allowed to be defined in terms of finite unions and intersections of polytopes...
  • Genet

  • Referenced in 5 articles [sw09785]
  • Genet: A tool for the synthesis and mining of Petri nets. State-based representations ... this type of systems both in terms of complexity of the analysis and in visualization ... tool supports two modes of operation: synthesis and mining. Applications of these two modes range...
  • PSyHCoS

  • Referenced in 2 articles [sw30319]
  • PSTCSP. PSyHCoS supports several algorithms for parameter synthesis and model checking, as well as state ... reduction techniques. Its architecture favors reusability in terms of syntax, semantics, and algorithms. It comes...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • distributed fault-intolerant program is specified in terms of a set of processes ... program via a symbolic implementation of respective synthesis algorithms [BK07]. Sycraft has successfully been used...
  • RapidNet

  • Referenced in 1 article [sw13796]
  • term goal of RapidNet is to provide a unified platform for rapid prototyping, synthesis...
  • HyComp

  • Referenced in 4 articles [sw20163]
  • scenario specifications; it can also perform synthesis of parameters ensuring the satisfaction of a given ... describe the tool in terms of functionalities, architecture, and implementation, and we present the results...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • modelling, and has separate simulation, verification and synthesis engines, which are implemented as independent libraries ... beats state-of-the-art tools in terms of precision (abstraction error) and computational effort...
  • Zanzibar OpenIVR

  • Referenced in 1 article [sw21455]
  • implementation - Zanzibar OpenIVR. The architecture, described in terms of components and standards, is compared ... dialog technology such as speech recognition and synthesis, integration of the components, dialog management, natural...
  • TILT

  • Referenced in 1 article [sw24052]
  • case distinction and pair application. This lambda-term represents a proof in the natural deduction ... able to solve smaller program synthesis problems...
  • Essentia

  • Referenced in 2 articles [sw34772]
  • audio and music analysis, description and synthesis. Essentia is an open-source C++ library ... provided music descriptors and is optimized in terms of the computational cost of the algorithms...
  • EvoNet

  • Referenced in 0 articles [sw15492]
  • EvoNet: Evolutionary Synthesis of Deep Neural Networks. In this study, we introduce the idea ... evolved’ deep neural networks (which we will term EvoNets) are then trained into fully functional...
  • PROSPER

  • Referenced in 0 articles [sw25086]
  • ability to catalytically cleave protein substrates after synthesis is fundamental for all forms of life ... tool strongly improve performance in terms of cleavage site prediction, as evidenced by their contribution...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 357 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...