
SparseMatrix
 Referenced in 660 articles
[sw04629]
 typically do not have such geometry (optimization, circuit simulation, economic and financial modeling, theoretical...

Kronos
 Referenced in 263 articles
[sw01270]
 task within strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such...

Dynamics
 Referenced in 177 articles
[sw09100]
 Lorenz system or Chua’s circuit), one can play around with the parameters, but, unless...

Scilab
 Referenced in 168 articles
[sw00834]
 modeler and simulator: Modeling mechanical systems, hydraulic circuits, control systems...

GraphBase
 Referenced in 123 articles
[sw01555]
 economy, college football scores, computational logic circuits, the Mona Lisa, etc. Others are based...

PHAVer
 Referenced in 116 articles
[sw04123]
 navigation benchmark and a tunnel diode circuit show the eﬀectiveness of the approach...

RevLib
 Referenced in 26 articles
[sw10333]
 within the domain of reversible and quantum circuit design. It provides a database of functions ... including HDL descriptions) with respective circuit realizations given in a appropriate format. RevLib ... RevKit, a public domain toolkit for reversible circuit design. Researchers are welcome to submit ... functions or circuits to RevLib...

PSpice
 Referenced in 28 articles
[sw03041]
 SPICE  A guide to circuit simulation and analysis using PSpice. Computeraided analysis and design ... introduces SPICE simulation; considers DC and AC circuits; outlines semiconductor devices modelling; explores digital logic ... circuits; and considers difficulties...

Midori
 Referenced in 24 articles
[sw17436]
 respect to the energy consumed by the circuit per bt in encryption or decryption operation ... energy consumption in an electrical circuit, and try to optimize each component of the circuit ... functionalities available by small tweak in the circuit that would not incur significant area ... ciphers have the added property that a circuit that provides both the functionalities of encryption...

CATHARE
 Referenced in 44 articles
[sw09025]
 phenomena occurring in the primary and secondary circuits of PWRs for a wide variety...

TRBDF2
 Referenced in 31 articles
[sw03446]
 systems of ordinary differential equations arising in circuit and device simulation ... Smith}, Transient simulation of silicon devices and circuits, IEEE Trans. Comput.Aided Design...

ABC
 Referenced in 37 articles
[sw12910]
 synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines...

PRINTcipher
 Referenced in 26 articles
[sw24782]
 consider some cryptographic implications of integrated circuit (IC) printing. While still in its infancy ... printing allows the production and personalisation of circuits at very low cost. In this paper...

STeP
 Referenced in 36 articles
[sw17948]
 class of systems, including parameterized (Ncomponent) circuit designs, parameterized (Nprocess) programs, and programs...

Gandalf
 Referenced in 35 articles
[sw10133]
 verify complex systems such as digital circuits, software and communications protocols. A new application area...

Wattch
 Referenced in 31 articles
[sw15015]
 even compiler writers, in addition to circuit designers. Most existing power analysis tools achieve high...

SPICE
 Referenced in 22 articles
[sw01107]
 SPICE is a generalpurpose circuit simulation program for nonlinear dc, nonlinear transient, and linear ... analyses. Circuits may contain resistors, capacitors, inductors, mutual inductors, independent voltage and current sources, four...

QCADesigner
 Referenced in 22 articles
[sw22781]
 rapid design, layout and simulation of QCA circuits by providing powerful CAD features available ... more complex circuit design tools...

METSlib
 Referenced in 30 articles
[sw05867]
 optimize the placement of components on a circuit board, and for many other applications. This...

TASTY
 Referenced in 17 articles
[sw09865]
 they are based on either garbled circuits or (additively) homomorphic encryption only. In this paper ... based on homomorphic encryption and efficient garbled circuits as well as combinations of both, which ... latency. Moreover, it allows to efficiently evaluate circuits generated by the wellknown Fairplay compiler ... homomorphic encryption with those based on garbled circuits and highly efficient Karatsuba multiplication. Further...