Sentence examples for operating kernel from inspiring English sources

One ARM processor runs the FreeRTOS real-time operating kernel.

Emission files were prepared from the Sparse Matrix Operating Kernel for Emissions (SMOKE) model.

Longene (previously known as Linux Unified Kernel), an operating system kernel intended to be binary-compatible with application software and device drivers made for both Microsoft Windows and Linux.

Linux is an operating system kernel, like Windows, or the kernel in Mac OSX.

The correct identification of operating system kernel versions is the first critical step in deep memory analysis it enables the precise parsing of the kernel data structures and the correct interpretation of the observed system state.

This paper presents a new architecture of operating system kernel.

In recognition of his creation of a new open source operating system kernel for computers leading to the widely used Linux operating system.

Each PE cluster runs a task in the video application with RISC cores, a hardware operating system kernel (HOSK), and task-specific accelerators.

Additionally, an on-chip real-time operating system kernel is included to support transparent multi-tasking over the set of master processors.

Isabelle/HOL [36] is a proof assistant that has been used in several projects like the formalisation of a general purpose operating system kernel, in which C code can be extracted from the produced Isabelle theories [25].

E-RTP/RTCP is designed to be independent of the underlying transport and network layers, and supply the soft real-time communication to the control systems without operating system kernel modifications.