Back to Results
First PageMeta Content
Scheduling algorithms / Scheduling / Linux / Microkernel / Kernel / Separation kernel / Linux kernel / Process identifier / Architecture of Windows NT / Computer architecture / System software / Software


Formal Modelling of Separation Kernel Components Andrius Velykis and Leo Freitas University of York, UK [removed], [removed]
Add to Reading List

Document Date: 2014-04-07 06:29:41

Open Document

File Size: 299,04 KB

Share Result on Facebook

City

Oxford / /

Company

Intel / Microsoft / Verified Software / /

Country

United Kingdom / India / /

/

Facility

Leo Freitas University of York / /

IndustryTerm

software components / allocation algorithm / software development / software verification / /

OperatingSystem

FreeRTOS / /

Organization

US National Security Agency / University of York / /

Position

separation kernel scheduler / OS engineer / scheduler / non-preemptive scheduler / Scheduler Operations / round-robin scheduler / scheduler for execution / /

Product

IA32/64 platform / IA32/64 / /

ProgrammingLanguage

Haskell / C / Z notation / /

Technology

dom / flash memory / shared memory / deterministic UPID allocation algorithm / API / /

SocialTag