• seL4

  • Referenced in 82 articles [sw15222]
  • kernel. Complete formal verification is the only known way to guarantee that a system ... unique design approach that fuses formal and operating systems techniques. To our knowledge, this ... correctness of a complete, general-purpose operating-system kernel. Functional correctness means here that ... kernel behaviour. This encompasses traditional design and implementation safety properties such as the kernel will...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • costly operations, e.g., checks of ordering constraints. Although the kernel of the system works only...
  • CGAL

  • Referenced in 367 articles [sw00118]
  • computer aided design and modeling, geographic information systems, molecular biology, medical imaging, robotics and motion ... Voronoi diagrams), polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements of curves ... structures. All these data structures and algorithms operate on geometric objects like points and segments ... objects and predicates are regrouped in CGAL Kernels. Finally, the Support Library offers geometric object...
  • Kit

  • Referenced in 7 articles [sw22321]
  • author reviews Kit, a small multitasking operating system kernel written in the machine language...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM ... tuple spaces and of a set of operators for building processes. KLAIM naturally supports programming ... interaction protocols among located processes. The formal operational semantics is useful for discussing the design ... various localities. The type system is used to determine the operations that processes want...
  • PDE-Net

  • Referenced in 31 articles [sw36963]
  • time: to accurately predict dynamics of complex systems and to uncover the underlying hidden ... learn differential operators by learning convolution kernels (filters), and apply neural networks or other machine...
  • HSL_MA77

  • Referenced in 15 articles [sw13924]
  • first release is for positive-definite systems and performs a Cholesky factorization. Special attention ... dense linear algebra kernel codes that handle the full-matrix operations on the frontal ... matrix and to the input/output operations. The input/output operations are performed using a separate package ... that provides a virtual-memory system and allows the data to be spread over many...
  • stress-ng

  • Referenced in 1 article [sw37372]
  • computer as well as the various operating system kernel interfaces. Stress-ng features: 250 stress ... thermal overruns as well as operating system bugs that only occur when a system...
  • CloudSec

  • Referenced in 1 article [sw29987]
  • guest security solutions, relying on operating system kernel trustworthiness, no longer an effective solution...
  • COFFEE

  • Referenced in 21 articles [sw20274]
  • composed with the aim of reducing the operation count. Code specialisation, to maximise the impact ... loops, and memory access pattern in a kernel, and then autonomously decide on the application ... currently used in Firedrake, an automated system for the solution of partial differential equations using ... property of finite element integration kernels, namely linearity of operators in test and trial functions...
  • Ariadne

  • Referenced in 12 articles [sw06670]
  • data structures and operators to support analysis and synthesis of systems described with hybrid automata ... ARIADNE computational kernel is written using generic programming, in which mathematical concepts, such as real...
  • PSBLAS

  • Referenced in 22 articles [sw04026]
  • processors or distributed among them; the corresponding system is solved by factorization or block Jacobi ... linear algebra operators, in order to develop software based on standard kernels. Suitable preconditioner data...
  • Slurm

  • Referenced in 8 articles [sw25056]
  • system for large and small Linux clusters. Slurm requires no kernel modifications for its operation...
  • Kernel-Machines

  • Referenced in 23 articles [sw04754]
  • sparse and nontrivial to find, and the kernel machines web site acted as a central ... longer possible to operate a system which was built on the trust that people...
  • MaRTE OS

  • Referenced in 3 articles [sw34047]
  • Real-Time Operating System for Embedded Applications) is a real-time kernel for embedded applications...
  • METROPOLIS

  • Referenced in 2 articles [sw24044]
  • model forms the backbone of the software system and is used to integrate a variety ... trivial example, a micro-kernel real-time operating system, TinyOS...
  • FiST

  • Referenced in 2 articles [sw32449]
  • promise to ease the development of file systems by offering a mechanism for incremental development ... level kernel code that is specific to a single operating system platform and also difficult ... stackable file systems. FiST uses operations common to file system interfaces. From a single description ... produces file system modules for multiple platforms. The generated code handles many kernel details, freeing...
  • SMOKE

  • Referenced in 2 articles [sw08434]
  • Sparse Matrix Operator Kernel Emissions (SMOKE): SMOKE is an active open-source development project supported ... CEMPD through the Community Modeling and Analysis System Center...
  • 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...