seL4 论文

2010Communications of the ACM引用 297
DOI
Distributed systems and fault toleranceAdvanced Data Storage TechnologiesParallel Computing and Optimization Techniques
Parallel Computing and Optimization TechniquesAdvanced Data Storage TechnologiesDistributed systems and fault tolerance
相关技术:Parallel Computing and Optimization Techniques
关系图谱

seL4 · 作者

S

Simon Winwood

H

Harvey Tuch

T

Thomas Sewell

M

Michael Norrish

R

Rafal Kolanski

K

Kai Engelhardt

D

Dhammika Elkaduwe

P

Philip Derrin

D

David Cock

G

Gernot Heiser

K

Kevin Elphinstone

J

June Andronick

G

Gerwin Klein