• SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • Assembling Correct and Distributed Component-Based Systems. SYNTHESIS is a tool for automatically assembling correct ... order to automatically synthesize the correct composition code, SYNTHESIS takes as input an high-level ... enforced in the system. The automatically derived composition code is implemented ... specified interactions. The current version of SYNTHESIS supports two possible development platforms: Microsoft COM/DCOM...
  • AutoSyn

  • Referenced in 3 articles [sw02043]
  • AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee ... correctness of the design, which makes the composition process both complex and time-consuming ... synthesis process. For a given set of services, a composite service is automatically constructed based...
  • SuperCollider

  • Referenced in 3 articles [sw26242]
  • platform for audio synthesis and algorithmic composition, used by musicians, artists, and researchers working with ... features 400+ unit generators (“UGens”) for analysis, synthesis, and processing. Its granularity allows the fluid ... between additive and subtractive synthesis, FM, granular synthesis, FFT, and physical modeling. You can write ... algorithmic composition and sequencing, finding new sound synthesis methods, connecting your app to external hardware...
  • METROPOLIS

  • Referenced in 2 articles [sw24044]
  • Compositional modeling in Metropolis. METROPOLIS is an environment for the design of heterogeneous embedded systems ... integrate a variety of analysis and synthesis tools. Compositional modeling is a powerful method...
  • STCT

  • Referenced in 9 articles [sw02293]
  • control design This paper introduces a new synthesis approach for the supervisory control of discrete ... Efficiency is achieved by exploiting the modular composition of the plant and specification...
  • GIRAFFE

  • Referenced in 0 articles [sw39079]
  • Compositional Generative Neural Feature Fields. Deep generative models allow for photorealistic image synthesis at high ... dimensional. Further, only few works consider the compositional nature of scenes. Our key hypothesis ... leads to more controllable image synthesis. Representing scenes as compositional generative neural feature fields allows ... pipeline yields a fast and realistic image synthesis model. As evidenced by our experiments...
  • COMBIgor

  • Referenced in 1 article [sw28386]
  • science. Combinatorial experiments involve synthesis of sample libraries with lateral composition gradients requiring spatially-resolved...
  • Photosketcher

  • Referenced in 2 articles [sw14454]
  • Photosketcher: Interactive Sketch-Based Image Synthesis. Photosketcher is an interactive system for progressively synthesizing novel ... translation-invariant retrieval of image parts. Composition is based on user scribbles: from the scribbles...
  • Sigali

  • Referenced in 1 article [sw12303]
  • have libraries of functions dedicated to controller synthesis, optimal control or verification. Of course ... compose them according to different composition operators). Functions allowing to compute the successors (resp. predecessors...
  • UniCon3D

  • Referenced in 0 articles [sw34253]
  • stepwise synthesis and assembly of foldon units that minimizes a composite physics and knowledge-based...
  • GME

  • Referenced in 5 articles [sw33604]
  • creating domain-specific modeling and program synthesis environments. The configuration is accomplished through metamodels specifying ... supports multiple aspect modeling. It provides metamodel composition for reusing and combining existing modeling languages...
  • FSPS

  • Referenced in 1 article [sw40069]
  • FSPS: Flexible Stellar Population Synthesis. FSPS is a flexible SPS package that allows the user ... these SSPs the user may then generate composite stellar populations (CSPs) for a variety...
  • BARON

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

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

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • jETI

  • Referenced in 15 articles [sw00471]
  • We present jETI, a redesign of the Electronic...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...