资料下载 › 论文 › Linux内核调度器的模型检测 - 第十三届全国容错计算学术 ...

Linux内核调度器的模型检测 - 第十三届全国容错计算学术会议.pdf

7 0

2026-1-11 10:48 | 查看全部阅读模式

会议论文《Linux内核调度器的模型检测 - 第十三届全国容错计算学术会议》探讨了Linux内核调度器的正确性验证方法。通过模型检测技术，研究者对调度算法进行了形式化分析，旨在发现潜在的并发错误和性能问题。该文为提升操作系统可靠性提供了理论支持与实践指导，具有重要的学术价值和应用意义。

文档为pdf格式，0.51MB，总共8页。

Linux内核调度器的模型检测 - 第十三届全国容错计算学术会议.pdf

文件大小:: 522.24 KB

高速下载

容错, 调度, 内核, 第十三届, 模型

相关文档

• Study on Non- Use Value of Lake with Contingent Valuation Method - 第十三届世界湖泊大会.pdf
• Study on Response of Freshwater Algae to Water Quality in Qinshan Lake_ Taihu watershed_ China - 第十三届世界湖泊大会.pdf
• Study On Non Point Pollution Of Fresh Water Sub- tropical Lakes With Reference To Phosphorus And Nitrogen -A Case Study Of A Fresh WaterLake In Rajasthan (India) - 第十三届世界湖泊大会.pdf
• Stormwater runoff pollution loads from an old urban district with rainy climate in China - 第十三届世界湖泊大会.pdf
• Stratus容错服务器在钢铁企业MES中的应用研究 - 2009年全国第十四届自动化应用学术交流会暨中国计量学会冶金分会2009年会.pdf
• Start-up and Optimization of a Sequencing Batch Biofilm Reactor (SBBR) Based on an Intelligent Controlling System - 第十三届世界湖泊大会.pdf
• Spatio-temporal Change of Water Chemical Elements in Lake Dianchi_ China - 第十三届世界湖泊大会.pdf
• Speciation analysis of arsenic( Ⅲ ) and arsenic( Ⅴ ) in environmental water samples with mutiwalled carbon nanotubes preconcention_separation cartridge prior to hydride generation atomic fluorescence spectrometry - 第十三届世界湖泊大会.pdf
• Spatial and Temporal Variation of Sources Water Quality in Tianjin Yuqiao Reservoir - 第十三届世界湖泊大会.pdf
• Solar Powered Floating WSN For Environmental Water Monitoring - 第十三届世界湖泊大会.pdf
• SoC体系结构级功耗模拟与优化技术 - 第十三届计算机工程与工艺会议(NCCET09’).pdf
• SoC体系结构处理器关键技术和研发现状 - 第十三届计算机工程与工艺会议(NCCET09’).pdf
• TD-SCDMA无线网络的系统仿真模型 - 2009年全国理论计算机科学学术年会.pdf
• The volatilization behaviors of diesel oil in environment - 第十三届世界湖泊大会.pdf
• The spatial and temporal variation of algal blooms and relationships between chlorophyll- a content and TN and TP concentrations in Lake Chaohu_ China - 第十三届世界湖泊大会.pdf
• The runoff and soil erosion of land use and its effect on nutrient transport Samachang catchment of Yunnan_ China - 第十三届世界湖泊大会.pdf
• The lake eutrophication modeling and the appliance in Nansi Lake - 第十三届世界湖泊大会.pdf
• The effects of chemical elements on spectral characteristics of plants - 第十三届世界湖泊大会.pdf
• The effect of the first heavy rainfall event on soil and nitrogen losses in different slope gradient newploughed fields - 第十三届世界湖泊大会.pdf
• The effect of rhamnolipid in harmful algal blooms mitigation - 第十三届世界湖泊大会.pdf
• The effect of biomasses on C_N and humification in composting of pig feces - 第十三届世界湖泊大会.pdf
• The Influence of Flow Disturbance on the Distribution Characteristics of Heavy Metal Elements in Water Colloidal_A Case Study in Yintao River - 第十三届世界湖泊大会.pdf
• The Emission Characteristics of Nonpoint Source Pollution in Pearl River Delta - 第十三届世界湖泊大会.pdf
• The Application of the Mini-TFF System for in Situ Isolating Colloidal Organic Carbon - 第十三届世界湖泊大会.pdf
• Tenax Extraction as a Tool to Evaluate Desorption of Sediment- Associated Polycyclic Aromatic Hydrocarbons-Phenanthrene from Contaminated - 第十三届世界湖泊大会.pdf
• TTCAN网络调度平台的设计优化 - 第11届全国敏感元件与传感器学术会议.pdf
• TMS320C6700系列DSP程序优化技术研究 - 第十三届计算机工程与工艺会议(NCCET09’).pdf
• UTAUT模型应用元分析 - 信息系统协会中国分会第三届学术年会.pdf
• UG与ANSYS模型格式转换方法研究 - 全国第20届计算机技术与应用(CACIS)学术会议.pdf
• UH模型在有限元分析中的应用 - 第一届全国“西部特殊土与工程”学术研讨会.pdf
• TiO2薄膜电阻开关特性研究 - 第十三届计算机工程与工艺会议(NCCET09’).pdf
• WiMax mesh网络的调度模式及算法研究 - 第十九届全国测控、计量、仪器仪表学术年会.pdf
• Web服务交互模型及其性质研究 - 第六届智能CAD与数字娱乐学术会议.pdf
• Web3d教育软件中虚拟角色情绪建模的一种方法 - 中国人工智能学会第十三届学术年会.pdf
• Water Environmental Health Risk Assessment of Main Drinking Water Sources in Taihu Lake - 第十三届世界湖泊大会.pdf

热门分类

法规
地方标准
团体标准
其他标准
工业技术
参考文献
新能源行业
电力行业
商务办公
建筑工程
打包下载
软件工具