• KEM-DEM

  • Referenced in 59 articles [sw03093]
  • Shoup introduced the framework of KEM (Key Encapsulation Mechanism), and DEM (Data Encapsulation Mechanism...
  • Nimrod/G

  • Referenced in 50 articles [sw09657]
  • architecture is extensible and can support and encapsulate 3rd-party software and services which themselves...
  • Outex

  • Referenced in 33 articles [sw13781]
  • texture analysis problems. The problems are encapsulated into test suites, for which baseline results obtained...
  • OSIRIS

  • Referenced in 31 articles [sw02458]
  • object-oriented design of the code, the encapsulation of system dependent code and the parallelization...
  • ABS

  • Referenced in 31 articles [sw21211]
  • uses asynchronous method calls, interfaces for encapsulation, and cooperative scheduling of method activations inside concurrent...
  • SSD

  • Referenced in 31 articles [sw26652]
  • subsequent pixel or feature resampling stage and encapsulates all computation in a single network. This...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • applications using the system. The system encapsulates the management of arrays that are allocated...
  • FrodoKEM

  • Referenced in 17 articles [sw35260]
  • FrodoKEM: Practical quantum-secure key encapsulation from generic lattices. FrodoKEM is a family ... encapsulation mechanisms that are designed to be conservative yet practical post-quantum constructions whose security...
  • OOPIC

  • Referenced in 20 articles [sw12503]
  • deposition and particle position update. The architecture encapsulates key PIC algorithms and data into objects...
  • Charon

  • Referenced in 20 articles [sw19755]
  • operations of instantiation, scoping, and encapsulation. Features such as weak preemption, history retention, and externally...
  • Igatools

  • Referenced in 19 articles [sw12632]
  • mapped into classes and their interactions. The encapsulation of mathematical concepts into interacting building blocks...
  • ODL

  • Referenced in 18 articles [sw22359]
  • real data. The framework allows to encapsulate a physical model into an Operator that...
  • Mtac

  • Referenced in 14 articles [sw13075]
  • trusted kernel typechecker of Coq by encapsulating uses of these new tactical primitives...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • systems offer means for DIstributed programming with Encapsulated Graph Objects. Their operational semantics definition follows...
  • EasyCheck

  • Referenced in 13 articles [sw09735]
  • implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant...
  • Algorithm 880

  • Referenced in 13 articles [sw12764]
  • positive example of a software library that encapsulates complex, robust, and widely used numerical algorithms...
  • Dyna

  • Referenced in 12 articles [sw23357]
  • intend for it to generalize and encapsulate best practices, and serve as a testbed...
  • MTL4

  • Referenced in 11 articles [sw07862]
  • minimal time. All technical aspects are encapsulated in the library. This has two fundamental advantages...
  • Koka

  • Referenced in 11 articles [sw19068]
  • runST` we show how we can safely encapsulate stateful operations. Through the state effect...
  • Maplet

  • Referenced in 10 articles [sw06295]
  • every Maplet application, the Maplet element encapsulates the elements that constitute the Maplet application definition...