公平性约束相关论文
经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随......
自适应子载波分配是提高多载波系统性能的关键技术之一。本文借鉴已有的OFDMA系统自适应子载波分配算法,结合MC-CDMA系统特点,根据各......
针对传统云任务调度算法只注重执行效率忽略分配公平性的问题,提出了一种满足多重公平性约束的任务调度QoS算法CTS_QFC.该算法利用......
云计算的商业化和成熟的虚拟化,要求它必须进行通用性设计,才能满足用户多样性的需求。针对这些问题,作业调度算法引入伯格模型,建立双......
检测部分状态空间是近年来出现的有效解决状态爆炸的模型检测技术,部分Kripke结构是描述部分状态空间的形式框架.文章主要讨论一类......
云计算是目前国内外的一个研究热点,是在网格计算、并行计算、分布式计算基础上发展起来的一种新技术,同时也是一种新型的商业计算......