• kProbLog

  • Referenced in 5 articles [sw18492]
  • language for learning with kernels. kProbLog allows to elegantly specify systems of algebraic expressions ... some matrix operations and an algorithm to solve linear systems. Finally we show the encodings ... state-of-the-art graph kernels such as Weisfeiler-Lehman graph kernels, propagation kernels...
  • Pyclaw

  • Referenced in 18 articles [sw06504]
  • general hyperbolic PDE solver that can be operated with the convenience of MATLAB yet achieves ... code while employing automatically wrapped Fortran kernels for computationally intensive routines, and using Python bindings ... Python-based structured grid solver for general systems of hyperbolic PDEs [K. T. Mandli...
  • PVODE

  • Referenced in 8 articles [sw04325]
  • Backward Differentiation Formula methods. The linear systems that must be solved during the implicit time ... modification of the vector kernels, allowing them to operate on vectors that have been distributed...
  • SparseLib++

  • Referenced in 7 articles [sw04016]
  • Toolkit is used to for efficient kernel mathematical operations (e.g. sparse matrix-vector multiply ... commonly used in iterative solvers for linear systems of equations. The focus is on computational...
  • Fides

  • Referenced in 1 article [sw24322]
  • components against kernel-level or process-level malware. Protecting commodity operating systems against software exploits ... software modules executing on a standard operating system, and (2) a compiler that compiles standard ... show that the power of arbitrary kernel-level or process-level malware is reduced...
  • Sparsity

  • Referenced in 13 articles [sw08686]
  • zero structure of the matrix. The SPARSITY system is designed to address these problems ... allowing users to automatically build sparse matrix kernels that are tuned to their matrices ... paper we discuss the optimization of two operations: a sparse matrix times a dense vector...
  • Pintos

  • Referenced in 1 article [sw37914]
  • simple operating system framework for the 80x86 architecture. It supports kernel threads, loading and running...
  • GEMS3K

  • Referenced in 7 articles [sw19058]
  • modeling package: revised algorithm and GEMS3K numerical kernel for coupled simulation codes, Reactive mass transport ... processes and their feedbacks in relevant subsurface systems. Thermodynamic equilibrium defines the baseline for solubility ... simulations can be based on the operator-splitting approach, where the solver of chemical equilibria ... pressure has changed. Modeling of complex natural systems requires consideration of multiphase-multicomponent geochemical models...
  • Paraprox

  • Referenced in 1 article [sw29917]
  • that operates on commodity hardware systems. Paraprox starts with a data-parallel kernel implemented using...
  • PromethOS

  • Referenced in 3 articles [sw01742]
  • available routers typically have a monolithic operating system that cannot be easily tailored and upgraded ... modules that are installed in the networking kernel. To install and configure plugins we present...
  • LaplaceInterpolation.jl

  • Referenced in 1 article [sw41226]
  • interpolation, but interpolation using these kernels involves systems of equations that are dense. By using ... substituting the finite-difference operator, we replace the dense operator with a sparse ... thus obtain an approximation to the kernel...
  • Chisel

  • Referenced in 1 article [sw22893]
  • accuracy-aware optimization of approximate computational kernels. The accuracy of an approximate computation ... result. Emerging approximate hardware platforms provide approximate operations that, in return for reduced energy consumption ... Chisel, a system for reliability- and accuracy-aware optimization of approximate computational kernels that ... accuracy specification, Chisel automatically selects approximate kernel operations to synthesize an approximate computation that minimizes...
  • OptiX

  • Referenced in 3 articles [sw23989]
  • OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly ... implemented using a small set of programmable operations. Consequently, the core of OptiX ... time compiler that generates custom ray tracing kernels by combining user-supplied programs ... including interactive rendering, offline rendering, collision detection systems, artificial intelligence queries, and scientific simulations such...
  • ReVirt

  • Referenced in 5 articles [sw29986]
  • intruder replaces the target operating system. ReVirt logs enough information to replay a long-term ... detailed observations about what transpired on the system, even in the presence of non-deterministic ... bound workloads, and 13--58% for kernel-intensive workloads. Logging adds 0--8% overhead...
  • FMMTL

  • Referenced in 2 articles [sw12639]
  • mathematics, this includes the development of interaction kernels and their low-rank expansions ... algorithms for the appropriate operations. We present a versatile system that can encompass the design...
  • CTF

  • Referenced in 8 articles [sw25687]
  • Imbalance in Massively Parallel Contractions. Cyclops (cyclic-operations) Tensor Framework(CTF) is a distributed library ... communication volume. CTF employs a general redistribution kernel, which transposes tensors of any dimension between ... NWChem on Cray XE6 supercomputers for benchmarked systems...
  • MathBlackBoard

  • Referenced in 1 article [sw00552]
  • MathBlackBoard as User Interface of Computer Algebra Systems. MathBlackBoard is a Java program based ... applet with GUI operations. The blackboard applet has a simple kernel as computational engine. MathBlackBoard ... operations of MathBlackBoard. And, we have added new functions which use some computer algebra systems...
  • HARTEX

  • Referenced in 1 article [sw02334]
  • hard real-time kernel is presented for distributed computer control systems (DCCS), highlighting a number ... high-performance time management supporting safe DCCS operation in a hard real-time environment; synchronization ... vectors and vector processing techniques throughout the kernel, resulting in efficient and highly deterministic behaviour...
  • blktrace

  • Referenced in 1 article [sw39881]
  • queue operations up to user space. There are three major components: a kernel component ... record the i/o trace information for the kernel to user space, and utilities to analyse ... traces from the kernel (via the relaying through the debug file system...
  • HyperCrypt

  • Referenced in 1 article [sw37368]
  • hypervisor-based solution that encrypts the entire kernel and user space to protect against physical ... fully transparent for the guest operating system and all applications running...