论文部分内容阅读
基于一定约束条件下的多处理器阵列重构问题是一个热点问题,并已被证明具有NP难度.对于可重构处理器阵列容错上界(最大可用处理器阵列的大小)问题的求解,由于其理论上的难解性,多年来未取得突破性的进展.
可重构处理器阵列的容错上界
【摘 要】
：
基于一定约束条件下的多处理器阵列重构问题是一个热点问题,并已被证明具有NP难度.对于可重构处理器阵列容错上界(最大可用处理器阵列的大小)问题的求解,由于其理论上的难解
【机 构】
：
天津工业大学,计算机科学与软件学院,天津,300387
【出 处】
：
2011年全国理论计算机科学学术年会
【发表日期】
：
2011年期
其他文献
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops is an important and difficult problem.Es
会议
给价值一个公正的目光我们经常在谈区域的价值,抛却房地产行业的浮夸的概念性宣传,区域的价值细分开来主要有三类。一类是区域潜力价值,潜力价值相关于区域的升值潜力和前景
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式化建模语言,具有严格的形式化语义及丰富的
对象代理模型通过引入代理对象和代理类的概念对传统面向对象数据模型进行了扩展,更加灵活地实现了对象视图、角色多样性以及对象移动等多种抽象机制.对象代理数据库模式的规
为了促进需求模型间的互操作并有效评估角色与目标注册元模型为两种需求模型提供的互操作能力,提出了一种互操作能力评估方法.实验中以需求模型i*和KAOS对Meeting Scheduler
“遏制投机性需求.控制投资性需求.鼓励普通商品住房和经济适用住房建设.合理引导住房消费”.是新一轮宏观调控的重点。而“投机”作为首要的打击对象.在原则上已经被判了“
本文将免疫克隆选择算法与量子算法相结合的混合量子免疫算法应用在处理多极值和多变量的蛋白质折叠问题中.在克隆选择算法中引入高频变异算子以提高局部搜索的能力,并加入量
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对“平板循
采用吹扫捕集-气相色谱-质谱法,建立了土壤中59种挥发性有机物(VOCs)的监测手段,考察了吹扫温度、吹扫时间和脱附时间等前处理条件的影响.吹扫捕集-气相色谱-质谱法的检出限
2020年突如其来的新冠疫情影响着社会的正常秩序,在经过党和政府的宏观调控下,各教育环节统一执行“停课不停学”政策趋势,由此各大高校采取线上远程教学活动给予应对.因此本