English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Iain D. Craig, «Formal Models of Operating System Kernels»
Posted on 2010-03-15
|  |
More Iain D. Craig, «Formal Models of Operating System Kernels» The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them today. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design – thus making explicit that which is too often left implicit or even unknown. A considerable amount of reasoning is included, showing what can be inferred about a design; and in addition, essential properties of data structures and mechanisms are discussed and the properties of these proved. Also included as an essential aspect of the activity, are the interfaces to the hardware and the processes running on them. It is very easy to get bogged down in complexity issues when considering kernels, but this book’s prescriptive rather than descriptive approach shows how the kernel of an operating system can affect both the reliability and performance of these systems in a clear and concise style.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Programming Intermediate System Administration for the Solaris 10 Operating System (Official Course) Intermediate System Administration for the Solaris 10 Operating System (Official Course)RS | 10 Mb | zip | SA-200-S10 | v1.0 | eSlides | ISBN:NoeSlides is a Web browser-based visual aid tool for instructors. It enables standard delivery of ... |
 | Iain D. Craig: Object-Oriented Programming Languages Object-Oriented Programming Languages: InterpretationSpringer | 2007-03-28 | ISBN 1846287731 | PDF | Pages 256 | 1.28 MBThis comprehensive examination of the main approaches to object-oriented language explains the key features of the langu ... |
 | Programming Iain D. Craig, ?Formal Models of Operating System Kernels? Iain D. Craig, ?Formal Models of Operating System Kernels?Publisher: Springer | Nov 2006 | ISBN: 1846283752 | Pages: 338 | PDF | 1.8 MBThe purpose of this book is to show that the formal specification of kernels is not only possible but als ... |
 | Technical Advanced System Administration for the Solaris 9 Operating System (CDS-299) Advanced System Administration for the Solaris 9 Operating System (CDS-299)The Advanced System Administration for the Solaris 9 Operating System (OS) training product provides students with the knowledge and skills necessary to administer S ... |
| Technical Intermediate System Administration for the Solaris 9 Operating System (CDS-239) Intermediate System Administration for the Solaris 9 Operating System (CDS-239)The Intermediate System Administration for the Solaris 9 Operating System (OS) training product provides students with the knowledge and skills to perform essent ... |
| Technical Formal Models of Operating System Kernels Author: Iain D. CraigPublisher: Springer (2006)Binding: Hardcover, 338 pagespricer: $84.95ISBN-10: 1846283752editorialreviewsThe purpose of this book is to show that the formal specification of kernels is not only possible but also necessar ... |
Comments (0)
