• 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 effectiveness 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. Computer-aided 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...
  • TR-BDF2

  • 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 (N-component) circuit designs, parameterized (N-process) 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 general-purpose 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 well-known Fairplay compiler ... homomorphic encryption with those based on garbled circuits and highly efficient Karatsuba multiplication. Further...