Formal Models of Operating System Kernels
1. Introduction; 2. Standard and Generic components; 3. A simple kernels; 4. A swapping kernels; 5. Using messages in the swapping kernels; 6. Virtual storage; 7. Final remarks.
Lưu vào:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Thông tin xuất bản: |
Springer-Verlag London Limited
2014
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://117.3.71.125:8080/dspace/handle/DHKTDN/6302 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|