Timing analysis of a protected operating system kernel

10.1109/RTSS.2011.38

Saved in:

Bibliographic Details
Main Authors:	Blackham, B., Shi, Y., Chattopadhyay, S., Roychoudhury, A., Heiser, G.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Operating system kernels Real time systems Software verification and validation
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/42096
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-42096
record_format	dspace
spelling	sg-nus-scholar.10635-420962024-11-14T09:16:59Z Timing analysis of a protected operating system kernel Blackham, B. Shi, Y. Chattopadhyay, S. Roychoudhury, A. Heiser, G. COMPUTER SCIENCE Operating system kernels Real time systems Software verification and validation 10.1109/RTSS.2011.38 Proceedings - Real-Time Systems Symposium 339-348 PRSYE 2013-07-04T08:43:15Z 2013-07-04T08:43:15Z 2011 Conference Paper Blackham, B.,Shi, Y.,Chattopadhyay, S.,Roychoudhury, A.,Heiser, G. (2011). Timing analysis of a protected operating system kernel. Proceedings - Real-Time Systems Symposium : 339-348. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/RTSS.2011.38" target="_blank">https://doi.org/10.1109/RTSS.2011.38</a> 9780769545912 10528725 http://scholarbank.nus.edu.sg/handle/10635/42096 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Operating system kernels Real time systems Software verification and validation
spellingShingle	Operating system kernels Real time systems Software verification and validation Blackham, B. Shi, Y. Chattopadhyay, S. Roychoudhury, A. Heiser, G. Timing analysis of a protected operating system kernel
description	10.1109/RTSS.2011.38
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Blackham, B. Shi, Y. Chattopadhyay, S. Roychoudhury, A. Heiser, G.
format	Conference or Workshop Item
author	Blackham, B. Shi, Y. Chattopadhyay, S. Roychoudhury, A. Heiser, G.
author_sort	Blackham, B.
title	Timing analysis of a protected operating system kernel
title_short	Timing analysis of a protected operating system kernel
title_full	Timing analysis of a protected operating system kernel
title_fullStr	Timing analysis of a protected operating system kernel
title_full_unstemmed	Timing analysis of a protected operating system kernel
title_sort	timing analysis of a protected operating system kernel
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/42096
_version_	1821210341812469760

Timing analysis of a protected operating system kernel

Similar Items