• PARSEC

  • Referenced in 26 articles [sw09610]
  • synthesis (RMS) as well as systems applications which mimic large-scale multithreaded commercial programs...
  • MENDELS

  • Referenced in 1 article [sw00570]
  • MENDELS: Concurrent program synthesis system using temporal logic A concurrent program synthesis system called MENDELS ... that is a target language for program synthesis, is also provided. MENDELS consists ... MENDELS is a subsystem of the intelligent programming environment MENDELS ZONE...
  • SyReC

  • Referenced in 5 articles [sw23569]
  • SyReC: a programming language for synthesis of reversible circuits. Reversible logic serves as a basis ... important question. So far, only synthesis approaches are available that rely on Boolean function representations ... diagrams. In this chapter, we propose the programming language SyReC that allows to specify...
  • ALISA

  • Referenced in 4 articles [sw03031]
  • Automatic deductive synthesis of Lisp programs in the system ALISA...
  • IPSSIS

  • Referenced in 14 articles [sw07158]
  • multiobjective mathematical programming (MMP), is implemented in the IPSSIS (Integrated Portfolio Synthesis and Selection Information...
  • Alpha

  • Referenced in 6 articles [sw13717]
  • this description can be translated towards logic synthesis tools in order to generate a VLSI ... abstract and non-standard interpretation, program verification, optimization, architecture synthesis, VLSI, FPGA, systolic arrays...
  • OligoArray

  • Referenced in 3 articles [sw36133]
  • hybridization. We have developed OligoArray 2.0, a program that designs specific oligonucleotides at the genomic ... requirements. Combined with on chip oligonucleotide synthesis, this program makes it feasible to perform expression...
  • ADS

  • Referenced in 4 articles [sw13387]
  • described. ADS (automated design synthesis) is a FORTRAN program for nonlinear constrained (or unconstrained) function...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • synthesis, verification and debugging of WoLFram is successfully applied to the verification of PLC programs...
  • FORMULA 2.0

  • Referenced in 2 articles [sw13248]
  • reasoning and compilation of input programs, (3) diverse synthesis and fast verification. We take ... world logic programs. They are highly declarative and easily express rich synthesis / verification problems. Automated...
  • JFIX

  • Referenced in 1 article [sw26886]
  • infer semantic constraints and then program synthesis to construct repairs conforming to them. While syntactic ... success- ful on bugs in real-world programs written in both C and Java, semantics...
  • REFLP

  • Referenced in 1 article [sw01821]
  • programs. In J. Gallagher, ed., Logic Program Synthesis and Transformation. Proceedings of the 6th International...
  • TILT

  • Referenced in 1 article [sw24052]
  • able to solve smaller program synthesis problems...
  • SemRegex

  • Referenced in 1 article [sw36206]
  • solutions for a subtask of the program-synthesis problem: generating regular expressions from natural language...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • fault-tolerant program via a symbolic implementation of respective synthesis algorithms [BK07]. Sycraft has successfully...
  • Roboop

  • Referenced in 4 articles [sw08009]
  • robotics object oriented programming toolbox suitable for synthesis, and simulation of robotic manipulator models...
  • CHStone

  • Referenced in 2 articles [sw15039]
  • CHStone: A benchmark program suite for practical C-based high-level synthesis. In general, standard ... suite of benchmark programs for C-based high-level synthesis. CHStone consists of a dozen ... large, easy-to-use programs written in C, which are selected from various application domains ... This paper also presents synthesis results which will be served as a baseline for researchers...
  • DISPRO

  • Referenced in 7 articles [sw14791]
  • DISPRO: A discrete programming package. The DISPRO package is open for modification and further development ... matrix generator), synthesis of the package with PL/1 and FORTRAN IV programming systems. The first...
  • TCT

  • Referenced in 10 articles [sw13640]
  • software package is designed for the synthesis of supervisory controls for untimed discrete-event systems ... downloaded from [6], where two different programs are posted for untimed DES: XPTCT , previously known...
  • Ariadne

  • Referenced in 12 articles [sw06670]
  • structures and operators to support analysis and synthesis of systems described with hybrid automata ... ARIADNE computational kernel is written using generic programming, in which mathematical concepts, such as real...