• GAUT

  • Referenced in 4 articles [sw17048]
  • GAUT: a high-level synthesis tool for DSP applications. From algorithm to digital circuit. This ... GAUT, an academic and open-source high-level synthesis tool dedicated to digital signal processing...
  • CHStone

  • Referenced in 2 articles [sw15039]
  • program suite for practical C-based high-level synthesis. In general, standard benchmark suites ... benchmark programs for C-based high-level synthesis. CHStone consists of a dozen of large...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • correct composition code, SYNTHESIS takes as input an high-level behavioural description for each component ... specified interactions. The current version of SYNTHESIS supports two possible development platforms: Microsoft COM/DCOM...
  • PuMA++

  • Referenced in 1 article [sw01430]
  • discuss the benefits of coupling the high-level synthesis tool CADDY-II and the partitioning...
  • TRANSIT

  • Referenced in 6 articles [sw28674]
  • EFSM), along with high-level invariants and concrete execution fragments. Our synthesis engine completes...
  • StyleGAN

  • Referenced in 21 articles [sw42584]
  • automatically learned, unsupervised separation of high-level attributes (e.g., pose and identity when trained ... enables intuitive, scale-specific control of the synthesis. The new generator improves the state...
  • Vivado

  • Referenced in 0 articles [sw23997]
  • Vivado High-Level Synthesis. Accelerates IP Creation by Enabling C, C++ and System C Specifications ... more sophisticated than ever before. Vivado® High-Level Synthesis included as a no cost upgrade...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • model is proposed for component reuse. Formal synthesis employs quasi-static and quasi-dynamic scheduling ... illustrated how high-level reuse of software components combined with automatic synthesis and verification...
  • StocHy

  • Referenced in 5 articles [sw36937]
  • StocHy: automated verification and synthesis of stochastic processes. StocHy is a software tool ... hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and constructs ... formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling...
  • PuRSUE

  • Referenced in 1 article [sw38924]
  • PuRSUE -- from specification of robotic environments to synthesis of controllers. Developing robotic applications ... skills that are usually only possessed by highly-qualified robotic developers. While formal methods that ... robotic applications though high-level languages; and (ii) enable the automatic synthesis of low-level ... rigorous and systematic design of high-level run-time control strategies for robotic applications...
  • PyLog

  • Referenced in 1 article [sw41595]
  • algorithm-centric Python-based FPGA programming and synthesis flow. The exploding complexity and computation efficiency ... heterogeneous platforms such as FPGAs. However, a high-quality FPGA design is very hard ... short development cycle, with high-level languages like Python, which have much higher levels ... create PyLog, a high-level, algorithm-centric Python-based programming and synthesis flow for FPGA...
  • LTLMoP

  • Referenced in 3 articles [sw23171]
  • Temporal Logic are used to write high-level reactive task specifications, which are then automatically ... research in areas such as controller synthesis, semantic parsing, motion planning, and human-robot interaction...
  • ATMOL

  • Referenced in 1 article [sw02267]
  • expressiveness allows the formulation of high-level and low-level model details as language constructs ... problem refinement and code synthesis. The atmospheric models specified in ATMOL are translated into efficient...
  • ATSyRa

  • Referenced in 0 articles [sw22309]
  • high-level actions to structure the tree, and ways to interactively refine the synthesis...
  • AMYTISS

  • Referenced in 3 articles [sw36936]
  • AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. In this ... constructed finite MDPs satisfying bounded-time high-level properties including safety, reachability and reach-avoid...
  • Essentia

  • Referenced in 2 articles [sw34772]
  • audio and music analysis, description and synthesis. Essentia is an open-source C++ library ... spectral, temporal, tonal and high-level music descriptors. The library is also wrapped in Python...
  • pFaces

  • Referenced in 3 articles [sw30630]
  • synthesized for concrete systems, satisfying complex high-level requirements. Unfortunately, the complexity of synthesizing such ... variables. However, if distributed implementations are considered, high-performance computing platforms can be leveraged ... algorithms are designed for abstraction-based controller synthesis. Then, they are implemented inside pFaces...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...