搜索结果: 1-7 共查到“操作系统与操作环境 system”相关记录7条 . 查询时间(0.301 秒)
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
广东工业大学计算机学院操作系统英文课件Chapter12 Operating System Design
广东工业大学计算机学院 操作系统 英文 课件 Chapter12 Operating System Design
2015/7/31
广东工业大学计算机学院操作系统英文课件Chapter12 Operating System Design。
西北工业大学操作系统课件 File System Management。
西北工业大学操作系统课件 Principle of Computer Operating System
西北工业大学 操作系统 课件 Principle of Computer Operating System
2014/8/20
西北工业大学操作系统课件 Principle of Computer Operating System。
电子科技大学计算机操作系统课件Chapter 5 File System。
电子科技大学计算机操作系统课件Chapter 1 Operating System Overview
电子科技大学 计算机操作系统 课件 Chapter 1 Operating System Overview
2014/6/6
电子科技大学计算机操作系统课件Chapter 1 Operating System Overview。
BAG Distributed Real-Time Operating System and Task Migration
Distributed systems real-time systems operating systems
2009/7/27
BAG is a distributed operating system designed for real-time applications which is run on a distributed real-time system. The heterogeneously distributed BAG system consists of nodes which have VME-bu...