TrEKer: Tracing error propagation in operating system kernels

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2017.8115650 ◽

2017 ◽

Author(s):

Nicolas Coppik ◽

Oliver Schwahn ◽

Stefan Winter ◽

Neeraj Suri

Keyword(s):

Operating System ◽

Error Propagation ◽

Operating System Kernels

Download Full-text

Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels

2010 European Dependable Computing Conference ◽

10.1109/edcc.2010.29 ◽

2010 ◽

Author(s):

Roberto Jung Drebes ◽

Takashi Nanya

Keyword(s):

Operating System ◽

Error Propagation ◽

Propagation Paths ◽

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