
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, generalpurpose operatingsystem 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 positivedefinite systems and performs a Cholesky factorization. Special attention ... dense linear algebra kernel codes that handle the fullmatrix operations on the frontal ... matrix and to the input/output operations. The input/output operations are performed using a separate package ... that provides a virtualmemory 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...

KernelMachines
 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 microkernel realtime 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 opensource 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 matrixvector 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 ... Pythonbased structured grid solver for general systems of hyperbolic PDEs [K. T. Mandli...

Fides
 Referenced in 1 article
[sw24322]
 components against kernellevel or processlevel 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 kernellevel or processlevel malware is reduced...