
TASTY
 Referenced in 19 articles
[sw09865]
 latency. Moreover, it allows to efficiently evaluate circuits generated by the wellknown 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 multiplevalued. 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]
 scanbased 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 multipledomain 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 matrixvector 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 singlequbit gates, multiplequbit ... multiplequbit controlled multiplequbit 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 matrixvector multiplications, overcoming the fundamental energy...

BSMART
 Referenced in 6 articles
[sw07381]
 opensource 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 timedependent Heisenberg Hamiltonians across multiple quantum computing platforms. It provides highlevel ... functionality for generating intermediate representations of quantum circuits which can be translated into a variety...

AIDACMK
 Referenced in 1 article
[sw11524]
 enhancing AIDAC, 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...

RxCaffe
 Referenced in 1 article
[sw25898]
 primitive DNN operation, viz., vectormatrix multiplication. However, in practice, the functionality of resistive crossbars ... ideal abstraction due to the device and circuit level nonidealities 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 1024bit 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 reallife 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...