在满足ARINC653标准的分区操作系统中，为了防止分区的运行受到其他分区故障的影响，所有分区公用的维护功能都集中在健康监控机制中。本文在深入研究健康监控的基础上，设计并实现了一种基于表驱动，按照系统状态和故障具体类型对故障进行分级处理的健康监控机制实现方法，可以有效地实现故障隔离和恢复。
上传时间： 2013-11-15
上传用户：wang0123456789
为了提高Linux操作系统的实时性，研究了Linux操作系统System V信号量机制在内核中的实现，发现其在实时应用中存在的不足，提出并实现了一种对其进行改进的方法。经测试表明，采用该方法后可以明显降低实时进程申请信号量的延迟时间，说明该方法有效提高了Linux操作系统的实时性能。
上传时间： 2013-10-31
上传用户：xuan‘nian
在SystemVeri log更强调了利用随机化激励函数以提高验证代码的效率和验证可靠性的重要性。本文以VMM库为例，阐述了如何在SystemVeri 1og中使用随机化函数来编写高效率的测试代码，重点介绍了可重验证函数库的使用方法，以帮助读者理解如何使用SystemVeri1og高效率地完成复杂的设计验证。
上传时间： 2013-11-06
上传用户：偷心的海盗
详细介绍了当前蜂窝移动通信网络和自组织(Ad Hoc)网络中采用的主要安全机制。简要地讲述蓝牙系统中的安全机制。
上传时间： 2013-10-26
上传用户：ewtrwrtwe
几个基本的程序机制和算法
上传时间： 2014-01-25
上传用户：edisonfather
在J2ME游戏中仿真Key Repeat事件, 但对于手机这种小设备来说,连续按键很吃力, 这里提供连续按键的一种方便机制
上传时间： 2015-01-07
上传用户：sclyutian
微软亚洲研究院论文：无线Internet中媒体代理的放置策略及服务器选择机制
上传时间： 2015-01-15
上传用户：kytqcool
微软亚洲研究院论文：基于对象组播中可扩展视频流的打包和自适应数率控制机制
上传时间： 2013-12-06
上传用户：三人用菜
微软亚洲研究院论文：无线网络音频广播的省能量速率分配机制
上传时间： 2015-01-15
上传用户：笨小孩
微软亚洲研究院论文：鲁棒的报头压缩机制：TCP/IP子集
上传时间： 2015-01-15
上传用户：磊子226
