• TASTY

  • Referenced in 19 articles [sw09865]
  • latency. Moreover, it allows to efficiently evaluate circuits generated by the well-known Fairplay compiler ... TASTY to compare protocols for secure multiplication based on homomorphic encryption with ... those based on garbled circuits and highly efficient Karatsuba multiplication. Further, we show how TASTY...
  • Lava

  • Referenced in 13 articles [sw28643]
  • Haskell. Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing ... type classes, to provide multiple interpretations of circuit descriptions. These interpretations implement standard circuit analyses...
  • QMDD

  • Referenced in 7 articles [sw12911]
  • reversible and quantum gates and circuits, both binary and multiple-valued. QMDD use many common ... QMDD for the matrix describing a circuit are discussed. A prototype C implementation is described...
  • SOCRATES

  • Referenced in 10 articles [sw10073]
  • scan-based circuits. Based on the FAN algorithm, improved implication, sensitization, and multiple backtrace procedures ... experiments using a set of combinational benchmark circuits demonstrate the efficiency of SOCRATES...
  • McPAT

  • Referenced in 5 articles [sw27655]
  • integrated memory controllers, and multiple-domain clocking. At the circuit and technology levels, McPAT supports...
  • Gazelle

  • Referenced in 5 articles [sw38099]
  • party computation techniques (such as garbled circuits). Gazelle makes three contributions. First, we design ... homomorphic operations such as SIMD (single instruction multiple data) addition, SIMD multiplication and ciphertext permutation ... network layers to optimized homomorphic matrix-vector multiplication and convolution routines. Third, we design optimized ... which seamlessly convert between homomorphic and garbled circuit encodings to enable implementation of complete neural...
  • CoolBOT

  • Referenced in 3 articles [sw01781]
  • integration of multiple software components in the same way that electronic circuits are made from...
  • qasm2circ

  • Referenced in 2 articles [sw12679]
  • acyclic quantum circuits composed from single qubit, multiply controlled single-qubit gates, multiple-qubit ... multiple-qubit controlled multiple-qubit gates. qasm2circ is a package which converts a QASM file ... into a graphical depiction of the quantum circuit, using standard quantum gate symbols (and other...
  • SYNBADm

  • Referenced in 1 article [sw24894]
  • handle high levels of circuit complexity and can consider multiple design criteria through multiobjective optimization...
  • HAGAR

  • Referenced in 1 article [sw02336]
  • switch between multiple contexts of a regular architecture. The proposed circuits are implemented within...
  • Puma

  • Referenced in 1 article [sw35257]
  • Memristor crossbars are circuits capable of performing analog matrix-vector multiplications, overcoming the fundamental energy...
  • BSMART

  • Referenced in 6 articles [sw07381]
  • open-source software package for analyzing brain circuits. BSMART is a project that was born ... causal influences and directions of driving among multiple neural signals. The backbone of the BSMART...
  • Tip

  • Referenced in 1 article [sw21030]
  • mainly uses inductive model checking techniques. Circuits and properties are parsed via the AIGER file ... AIGER features (safety properties, liveness properties, constraints, multiple properties...
  • MISTIQS

  • Referenced in 1 article [sw38553]
  • governed by time-dependent Heisenberg Hamiltonians across multiple quantum computing platforms. It provides high-level ... functionality for generating intermediate representations of quantum circuits which can be translated into a variety...
  • AIDA-CMK

  • Referenced in 1 article [sw11524]
  • enhancing AIDA-C, which is the circuit optimizer component of AIDA, with a new multi ... optimization module that constructs a base for multiple algorithm implementations. The proposed solution implements three...
  • Rx-Caffe

  • Referenced in 1 article [sw25898]
  • primitive DNN operation, viz., vector-matrix multiplication. However, in practice, the functionality of resistive crossbars ... ideal abstraction due to the device and circuit level non-idealities such as driver resistance...
  • TinyGarble

  • Referenced in 3 articles [sw41619]
  • interfacing with available garbling frameworks. The circuit compactness makes the memory footprint of the garbling ... memory footprint required for 1024-bit multiplication by a factor of 4,172, while decreasing...
  • Slycat

  • Referenced in 1 article [sw24798]
  • Slycat ensemble analysis of electrical circuit simulations. An ensemble is a group of related simulation ... with simulation results. Commonly, simple regression and multiple regression techniques are used to correlate single ... variable groups. Using linked views, we provide multiple representations of the CCA results ... provide two real-life examples using electrical circuit simulation ensembles of differing scales to demonstrate...
  • Metastability

  • Referenced in 1 article [sw38860]
  • that the network exhibits endogenous transitions between multiple modes of transient synchrony. This is true ... dynamics in realizing itinerant complexity in neural circuits...
  • PORA

  • Referenced in 1 article [sw32804]
  • algorithm for the physical design of integrated circuits. We simulate the foraging behaviors of Physarum ... Physarum router. Simulation results on multiple benchmarks confirm that the proposed algorithm leads to shorter...