• 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...
  • Venture

  • Referenced in 10 articles [sw14670]
  • stochastic procedure interface (SPI) that specifies and encapsulates primitive random variables. The SPI supports custom...
  • ProActive

  • Referenced in 9 articles [sw05575]
  • Active Object pattern, a uniform way to encapsulate a remotely accessible object, a thread...
  • muJava

  • Referenced in 9 articles [sw23770]
  • method calls to the classes under test encapsulated in methods in separate classes JUnit classes...
  • Saber

  • Referenced in 6 articles [sw25250]
  • finally into an IND-CCA secure key encapsulation mechanism using a post-quantum version ... 125K and 129K cycles for key generation, encapsulation and decapsulation respectively on a Dell laptop...
  • DISCOVER

  • Referenced in 8 articles [sw02247]
  • network enables sensors and actuators to be encapsulated within, and directly deployed with the computational...
  • IsaWin

  • Referenced in 8 articles [sw04899]
  • graphical user interfaces for these provers and encapsulations of formal methods. In this problem domain...
  • TaPAS

  • Referenced in 8 articles [sw07286]
  • programming interface Genepi for this logic with encapsulations of many classical solvers...
  • ProtoMol

  • Referenced in 8 articles [sw10728]
  • critical to performance (generic programming). The framework encapsulates important optimizations that can be used...
  • Ur/Web

  • Referenced in 8 articles [sw17454]
  • languages as needed; supports novel kinds of encapsulation of Web-specific state; and exposes simple...
  • Utopia

  • Referenced in 8 articles [sw42384]
  • level data-structures without breaking code encapsulation. Complex numerical procedures can be expressed with...
  • CVPP

  • Referenced in 7 articles [sw00179]
  • interface smoothly with the user and to encapsulate the inner workings of the tool...
  • Dirtlib

  • Referenced in 7 articles [sw08882]
  • overset capability to a flow solver by encapsulating the required operations. This paper discusses...
  • gridlib

  • Referenced in 6 articles [sw00390]
  • fully object oriented way. This encapsulation of algorithms and data also assists with the transparent...
  • Robotica

  • Referenced in 6 articles [sw08899]
  • University of Illinois at Urbana-Champaign. It encapsulates over 30 functions into a Mathematica package...
  • muFP

  • Referenced in 6 articles [sw28645]
  • single combining form &mgr;, which encapsulates a very simple notion of “state...
  • CAKE

  • Referenced in 4 articles [sw23884]
  • CAKE: CODE-based algorithm for key encapsulation. Current widely-used key exchange (KE) mechanisms will ... goal. First, we introduce “CAKE”, a key encapsulation algorithm based on the QC-MDPC McEliece...
  • LEDAkem

  • Referenced in 4 articles [sw31287]
  • LEDAkem: a post-quantum key encapsulation mechanism based on QC-LDPC codes. This work presents ... code-based key encapsulation mechanism (KEM) called LEDAkem. It is built on the Niederreiter cryptosystem...
  • Path Pascal

  • Referenced in 4 articles [sw34504]
  • real time systems and operating systems. An encapsulation mechanism is included to synchronize all accesses ... encapsulated data. A network message transfer system is presented as an extended example...