• seL4

  • Referenced in 78 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 229 articles [sw02918]
  • costly operations, e.g., checks of ordering constraints. Although the kernel of the system works only...
  • CGAL

  • Referenced in 334 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 69 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...
  • 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...
  • CloudSec

  • Referenced in 1 article [sw29987]
  • guest security solutions, relying on operating system kernel trustworthiness, no longer an effective solution...
  • 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...
  • COFFEE

  • Referenced in 17 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...
  • 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...
  • PSBLAS

  • Referenced in 19 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...
  • 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...
  • Slurm

  • Referenced in 4 articles [sw25056]
  • system for large and small Linux clusters. Slurm requires no kernel modifications for its operation...
  • 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...
  • Pyclaw

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