• COWS

  • Referenced in 51 articles [sw06955]
  • services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages...
  • Eff

  • Referenced in 21 articles [sw22721]
  • language based on algebraic effects and their handlers. Algebraic effects are a way of adding ... behavior of operations is determined by handlers. Just like an exception handler determines what happens ... when an exception is raised, a general handler describes the actions taken when an operation ... triggered. Examples of handlers include state, transactions, non-determinism, stream redirection, backtracking, delimited continuations...
  • LASH

  • Referenced in 23 articles [sw21269]
  • Liège Automata-based Symbolic Handler (LASH): LASH is a toolset for representing infinite sets...
  • Petruchio

  • Referenced in 16 articles [sw04394]
  • class of structurally stationary processes, called finite handler processes. Our Petri net translation facilitates...
  • cumulativemm

  • Referenced in 6 articles [sw15628]
  • GPRs). More precisely, we implemented two constraint handlers cumulativemm and gprecedencemm for the optimization framework ... without and one with our constraint handler gprecedencemm. Our computational results on instances from ... show that the addition of this constraint handler significantly strengthens the SCIP-model. Moreover...
  • gprecedencemm

  • Referenced in 6 articles [sw15629]
  • GPRs). More precisely, we implemented two constraint handlers cumulativemm and gprecedencemm for the optimization framework ... without and one with our constraint handler gprecedencemm. Our computational results on instances from ... show that the addition of this constraint handler significantly strengthens the SCIP-model. Moreover...
  • Pengines

  • Referenced in 5 articles [sw12408]
  • client is provided by means of HTTP handlers that wrap the logical data access predicates ... These handlers are responsible for converting between client and server data representations and typically include...
  • qTorch

  • Referenced in 5 articles [sw27767]
  • qTorch: The Quantum Tensor Contraction Handler. Classical simulation of quantum computation is necessary for studying ... software package, qTorch (Quantum TensOR Contraction Handler), intended for general quantum circuit simulation...
  • Feather-Trace

  • Referenced in 4 articles [sw10647]
  • synchronization primitives or modification of interrupt handlers. Execution context agnostic: trace everywhere, even inside interrupt ... handlers and preemptable code sections. Can be used in user space...
  • CGIwithR

  • Referenced in 5 articles [sw21098]
  • POST submission. via a different CGI handler Rbigpost.cgi...
  • NumPyro

  • Referenced in 3 articles [sw42868]
  • language primitives and effect handling abstractions. Effect handlers allow Pyro’s modeling ... power of composing Pyro’s effect handlers with the program transformations that enable hardware acceleration...
  • EinS

  • Referenced in 4 articles [sw09354]
  • Einstein) summations (EinS stands for ”Einstein Summation handler”). The idea of the package...
  • LORAIN

  • Referenced in 2 articles [sw16339]
  • automatic emission of a reverse event handler by the compiler. Upon detection of certain instructions ... LLVM compiler to generate the reverse event handler. One of the primary contributions of this ... various operations and emit efficient reverse event handlers at the binary code level. This preliminary...
  • DIOTA

  • Referenced in 3 articles [sw16122]
  • occur in sequential programs that use signal handlers. Fortunately, it turns out that adapting existing...
  • OProfile

  • Referenced in 3 articles [sw19795]
  • code is profiled: hardware and software interrupt handlers, kernel modules, the kernel, shared libraries...
  • PGPLOT

  • Referenced in 2 articles [sw15568]
  • device-dependent “device handler” subroutines for output on various terminals, image displays, dot-matrix printers...
  • EDO

  • Referenced in 2 articles [sw29926]
  • throw with a branch to the corresponding handler. We implemented EDO in IBM’s production...
  • SSAX

  • Referenced in 1 article [sw23631]
  • shared among user-supplied event handlers. SSAX makes the maintenance of an application-specific element ... functional subset of Scheme. Therefore, the event handlers are referentially transparent, which makes them easier...
  • fingerprint

  • Referenced in 1 article [sw26085]
  • fingerprint formats can be handled via line handlers. Currently handlers are provided...
  • Edward2

  • Referenced in 1 article [sw42869]
  • Program Transformations in Edward2. Algebraic effects and handlers have emerged in the programming languages community ... library. We investigate the use of effect handlers as a lightweight abstraction for implementing probabilistic...