• CertiKOS

  • Referenced in 8 articles [sw21503]
  • certified concurrent OS kernels. Concurrency allows interleaved execution of kernel/user modules across different layers ... observable events, and then verifying each kernel module at its proper abstraction level. To support ... strong contextual refinement property for every kernel function, which states that the implementation of each...
  • GILK

  • Referenced in 4 articles [sw00349]
  • execution, with instruments implemented as kernel modules. The Intel x86 architecture poses a particular problem ... understanding i/o behaviour in the kernel. The source code is freely available for download...
  • XtreemFS

  • Referenced in 4 articles [sw10723]
  • source, requires no special hardware or kernel modules, and can be mounted on Linux, Windows...
  • OProfile

  • Referenced in 3 articles [sw19795]
  • profiled: hardware and software interrupt handlers, kernel modules, the kernel, shared libraries, and applications. Several...
  • pico ql

  • Referenced in 2 articles [sw13847]
  • also configurable as a loadable Linux kernel module. It provides both a /proc ... able to issue SQL queries against kernel data structures. Currently PiCO QL supports data structures...
  • akdensity

  • Referenced in 6 articles [sw37365]
  • Adaptive kernel density estimation. This insert describes the module akdensity. akdensity extends the official kdensity...
  • DDVerify

  • Referenced in 13 articles [sw20226]
  • module, and generates a test harness to reveal specific misuses of the kernel...
  • RLScore

  • Referenced in 2 articles [sw27570]
  • RLScore is a Python open source module for kernel based machine learning. The library provides...
  • KIRMES

  • Referenced in 4 articles [sw35269]
  • KIRMES: kernel-based identification of regulatory modules in euchromatic sequences. Motivation: Understanding transcriptional regulation...
  • swSim

  • Referenced in 1 article [sw38546]
  • open source tools, and a kernel composition module allows high-level registration of sequences...
  • Sand Kit

  • Referenced in 0 articles [sw05431]
  • training and calculations, and a Linux kernel module for the SAND board neuro accelerator...
  • KerMor

  • Referenced in 2 articles [sw12979]
  • using subspace projection and kernels methods. Check out the Modules pages to get an overview...
  • digraphs

  • Referenced in 1 article [sw07877]
  • implementation of a generic digraphs module for computing kernels and other qualified choices in bipolar ... Bisdorff, University of Luxembourg. The Python digraphs module is based on the optimized in-built...
  • GNBSL

  • Referenced in 2 articles [sw26874]
  • sequence and the other module applies a pairwise profile alignment kernel to measure the local ... fuse the outputs from the six modules. Test on a benchmark dataset shows that...
  • PromethOS

  • Referenced in 3 articles [sw01742]
  • extended by plugin modules that are installed in the networking kernel. To install and configure...
  • AIDA-CMK

  • Referenced in 1 article [sw11524]
  • research and development of an innovative optimization kernel applied to analog integrated circuit (IC) design ... multi-objective multi-constraint optimization module that constructs a base for multiple algorithm implementations ... easy hybridization between kernels transforming the previous simple NSGAII optimization module into ... more evolved and versatile module supporting multiple single and multi-kernel algorithms.The three multi-objective...
  • COCONUT

  • Referenced in 40 articles [sw04760]
  • global optimization problems with an open-source kernel, which can be expanded by commercial ... make the development of the various module types independent of each other and independent...
  • FiST

  • Referenced in 2 articles [sw32449]
  • methods often require writing complex low-level kernel code that is specific to a single ... file system modules for multiple platforms. The generated code handles many kernel details, freeing developers...
  • Salus

  • Referenced in 1 article [sw35842]
  • abuse services from protected modules. We propose Salus, a Linux kernel modification that provides...
  • ivreg2

  • Referenced in 15 articles [sw31884]
  • IVREG2: Stata module for extended instrumental variables/2SLS and GMM estimation. ivreg2 provides extensions to Stata ... exogeneity of subsets of instruments (orthog() option); kernel-based autocorrelation-consistent (AC) and heteroskedastic...