• CertiKOS

  • Referenced in 7 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...
  • 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...
  • 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...
  • 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 38 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...
  • GNBSL

  • Referenced in 1 article [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...
  • Fides

  • Referenced in 1 article [sw24322]
  • Fides: selectively hardening software application components against kernel-level or process-level malware. Protecting commodity ... that can efficiently protect fine-grained software modules executing on a standard operating system ... source code modules to such protected binary modules. The offered security guarantees are significant: relying ... arbitrary kernel-level or process-level malware is reduced to interacting with the module through...
  • FATKit

  • Referenced in 3 articles [sw08822]
  • data in various ways. FATKit presently includes modules for general virtual address space reconstruction ... well as Linux- and Windows-specific kernel analysis...
  • PyNEST

  • Referenced in 3 articles [sw30221]
  • easy to learn and has many extension modules for scientific computing (e.g. http://www.scipy.org ... NEST. PyNEST combines NEST’s efficient simulation kernel with the simplicity and flexibility of Python...
  • EAdroid

  • Referenced in 1 article [sw13648]
  • module of Linux. At the same time, the security rules of framework layer and kernel...
  • PyFFT

  • Referenced in 1 article [sw22131]
  • PyFFT: FFT for PyCuda and PyOpenCl. This module contains implementation of batched FFT, ported from ... OpenCL implementation. OpenCL’s ideology of constructing kernel code on the fly maps perfectly...