Noninterference for Operating System Kernels

Certified Programs and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35308-6_12 ◽

2012 ◽

pp. 126-142 ◽

Author(s):

Toby Murray ◽

Daniel Matichuk ◽

Matthew Brassil ◽

Peter Gammie ◽

Gerwin Klein

Keyword(s):

Operating System ◽

Operating System Kernels

Download Full-text

A Case for Transforming Parallel Runtimes Into Operating System Kernels

Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing - HPDC '15 ◽

10.1145/2749246.2749264 ◽

2015 ◽

Author(s):

Kyle C. Hale ◽

Peter A. Dinda

Keyword(s):

Operating System ◽

Operating System Kernels

Download Full-text

Dispatcher primitives for the construction of operating system kernels

Acta Informatica ◽

10.1007/bf00264560 ◽

1975 ◽

Vol 5 (4) ◽

Author(s):

J. Nehmer

Keyword(s):

Operating System ◽

Operating System Kernels

Download Full-text

Generic virtual memory management for operating system kernels

Proceedings of the twelfth ACM symposium on Operating systems principles - SOSP '89 ◽

10.1145/74850.74863 ◽

1989 ◽

Author(s):

E. Abrossimov ◽

M. Rozier ◽

M. Shapiro

Keyword(s):

Operating System ◽

Memory Management ◽

Virtual Memory ◽

Virtual Memory Management ◽

Operating System Kernels

Download Full-text

The Mechanism and Performance Comparison of Two Wireless Sensor Network Operating System Kernels

2009 Sixth International Conference on Information Technology: New Generations ◽

10.1109/itng.2009.106 ◽

2009 ◽

Author(s):

Jialiang Wang ◽

Hai Zhao ◽

Peng Li ◽

Zheng Liu ◽

Jie Zhao ◽

...

Keyword(s):

Operating System ◽

Wireless Sensor Network ◽

Sensor Network ◽

Performance Comparison ◽

Wireless Sensor ◽

And Performance ◽

Operating System Kernels

Download Full-text

Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels

ACM SIGOPS Operating Systems Review ◽

10.1145/1272998.1273031 ◽

2007 ◽

Vol 41 (3) ◽

pp. 327-340 ◽

Author(s):

Kristis Makris ◽

Kyung Dong Ryu

Keyword(s):

Operating System ◽

Operating System Kernels

Download Full-text

The use of microcode instrumentation for development, debugging and tuning of operating system kernels

Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems - SIGMETRICS '88 ◽

10.1145/55595.55619 ◽

1988 ◽

Author(s):

S. W. Melvin ◽

Y. N. Patt

Keyword(s):

Operating System ◽

Operating System Kernels

Download Full-text

Automatic specialization of protocol stacks in operating system kernels

29th Annual IEEE International Conference on Local Computer Networks ◽

10.1109/lcn.2004.28 ◽

2004 ◽

Author(s):

S. Bhatia ◽

C. Consel ◽

A.-F. Le Meur ◽

C. Pu

Keyword(s):

Operating System ◽

Operating System Kernels

Download Full-text

Adaptive cyber-physical systems with interpreted operating system kernels

2016 5th Mediterranean Conference on Embedded Computing (MECO) ◽

10.1109/meco.2016.7525734 ◽

2016 ◽

Author(s):

Peter Troger ◽

Christine Jakobs ◽

Thomas Jakobs ◽

Matthias Werner

Keyword(s):

Operating System ◽

Cyber Physical Systems ◽

Physical Systems ◽

Operating System Kernels

Download Full-text

Towards The Standardization of Real-Time Operating System Kernels

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)65796-3 ◽

1979 ◽

Vol 12 (3) ◽

pp. 181-188

Author(s):

M. Kronental

Keyword(s):

Operating System ◽

Real Time ◽

Real Time Operating System ◽

Operating System Kernels

Download Full-text

TOWARDS THE STANDARDIZATION OF REAL-TIME OPERATING SYSTEM KERNELS

Software for Computer Control ◽

10.1016/b978-0-08-024448-8.50035-6 ◽

1979 ◽

pp. 181-188

Author(s):

M. Kronental

Keyword(s):

Operating System ◽

Real Time ◽

Real Time Operating System ◽

Operating System Kernels

Download Full-text