• Alpha

  • Referenced in 6 articles [sw13717]
  • translated towards logic synthesis tools in order to generate a VLSI architecture. Alternatively, different analyses ... standard interpretation, program verification, optimization, architecture synthesis, VLSI, FPGA, systolic arrays...
  • MODA

  • Referenced in 15 articles [sw02572]
  • task it performs and in its architecture and way of operation. The input ... noisy environment. MODA is designed by synthesis, so that it does not require learning ... space. The paper describes the network, its architecture, its equations, and the method of design...
  • PARSEC

  • Referenced in 25 articles [sw09610]
  • PARSEC benchmark suite: characterization and architectural implications. This paper presents and characterizes the Princeton Application ... includes emerging applications in recognition, mining and synthesis (RMS) as well as systems applications which...
  • MEDLAR

  • Referenced in 14 articles [sw02888]
  • Practical Reasoning)-II project are: the synthesis of specific reasoning capabilities like abduction, analogy, planning ... specific reasoning capabilities; exploration of the architecture for specialisation, implementation and integration of these higher...
  • MediaBench

  • Referenced in 33 articles [sw08949]
  • same time, a number of microprocessor architectures have emerged which have VLIW and SIMD structures ... establish uniqueness, and integration with system synthesis algorithms to establish usefulness...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • design of reusable software components, the synthesis and generation of software code, and the automatic ... reveal the design flow and the internal architecture of a newly proposed framework called Verifiable ... which integrates software component-based reuse, formal synthesis, and formal verification. A formal UML-based ... model is proposed for component reuse. Formal synthesis employs quasi-static and quasi-dynamic scheduling...
  • SignSynth

  • Referenced in 1 article [sw21221]
  • synthesis application using Web3D and Perl. Sign synthesis (also known as text-to-sign ... learning. I will discuss the architecture of typical sign synthesis applications and mention some...
  • NeST

  • Referenced in 1 article [sw31716]
  • NeST: a neural network synthesis tool based on a grow-and-prune paradigm. Deep neural ... problem of finding an optimal DNN architecture for large applications is challenging. Common approaches ... compact DNN architectures during training. We propose a DNN synthesis tool (NeST) that combines both ... randomly initialized sparse network called the seed architecture. It iteratively tunes the architecture with gradient...
  • GAUT

  • Referenced in 4 articles [sw17048]
  • scheduling and the binding tasks. Mandatory synthesis constraints are the throughput and the clock period ... optional. GAUT next generates a potentially pipelined architecture composed of a processing unit, a memory...
  • PSyHCoS

  • Referenced in 2 articles [sw30319]
  • parameter synthesis and model checking, as well as state space reduction techniques. Its architecture favors...
  • PRISM-PSY

  • Referenced in 3 articles [sw33601]
  • recently formulated algorithms for precise parameter synthesis in order to enable effective data-parallel processing ... results in significant acceleration on many-core architectures. High hardware utilisation, essential for performance...
  • MetaPlab

  • Referenced in 1 article [sw27207]
  • synthesis of metabolic P systems by means of an extensible plugin-based architecture. The Java...
  • miz3

  • Referenced in 11 articles [sw18631]
  • interactive theorem proving. We propose a synthesis of the two proof styles of interactive theorem ... procedural interactive theorem prover, regardless of its architecture and logical foundations. To show the viability...
  • JAHUEL

  • Referenced in 2 articles [sw10084]
  • Jahuel: A Formal Framework for Software Synthesis. We present a theoretically sound and automated model ... multi-threaded software and multi-processor architectures. The framework consists in (1) a formal language...
  • DG2VHDL

  • Referenced in 3 articles [sw00202]
  • using a hardware description language, every candidate architecture under consideration. It is shown that ... size. This makes possible the high level synthesis of processor arrays for large size real...
  • PuMA++

  • Referenced in 1 article [sw01430]
  • benefits of coupling the high-level synthesis tool CADDY-II and the partitioning and mapping ... level (Register-Transfer) netlists into multi-FPGA architectures. With our new approach, rapid prototyping...
  • HyComp

  • Referenced in 2 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...
  • Alloy*

  • Referenced in 4 articles [sw20736]
  • Some tasks, however, most notably those involving synthesis, are inherently higher order; these are typically ... performance of specialized tools and simplified their architecture, factoring out higher-order solvers may bring...
  • GME

  • Referenced in 5 articles [sw33604]
  • creating domain-specific modeling and program synthesis environments. The configuration is accomplished through metamodels specifying ... analysis tools. GME has a modular, extensible architecture that uses MS COM for integration...
  • Zanzibar OpenIVR

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