Back to Results
First PageMeta Content
Theoretical computer science / Concurrent computing / Formal methods / L4 microkernel family / Formal verification / Microkernel / Isabelle / Trusted computing base / Kernel / Computer architecture / Computing / Software


Document Date: 2009-08-05 10:48:36

Open Document

File Size: 409,29 KB

Share Result on Facebook

City

Dresden / /

Company

Open Kernel Labs / The seL4 / VMware / Intel / /

/

Facility

University of Peradeniya / /

IndustryTerm

less sophisticated tool chain / x86 hardware / secure and reliable systems / normal user-mode applications / theorem proving tool / verifiable systems / priority-based round-robin algorithm / to other systems / allocation algorithm / explicit search / hardware processors / trusted computing base / Memory management / timer chip / /

OperatingSystem

Coyotos / /

Organization

L4 / University of Peradeniya / /

Person

Philip Derrin / Simulation / /

Position

single device driver / the timer driver / kernel designer / device driver / scheduler / Forward / controller / controller of the ARM / programmer / /

ProgrammingLanguage

Haskell / C / /

ProvinceOrState

Maine / Massachusetts / /

Technology

functional programming / timer chip / ARM processors / API / simulation / virtual memory / operating system / priority-based round-robin algorithm / hardware processors / operating systems / allocation algorithm / /

SocialTag