切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
可重构处理器阵列的容错上界
可重构处理器阵列的容错上界
来源 :2011年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:huoxingtan22
【摘 要】
:
基于一定约束条件下的多处理器阵列重构问题是一个热点问题,并已被证明具有NP难度.对于可重构处理器阵列容错上界(最大可用处理器阵列的大小)问题的求解,由于其理论上的难解
【作 者】
:
孙学梅
武继刚
徐雄
沈宇泽
【机 构】
:
天津工业大学,计算机科学与软件学院,天津,300387
【出 处】
:
2011年全国理论计算机科学学术年会
【发表日期】
:
2011年期
【关键词】
:
可重构处理器
多处理器阵列
阵列容错
热点问题
约束条件
证明
上界
求解
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于一定约束条件下的多处理器阵列重构问题是一个热点问题,并已被证明具有NP难度.对于可重构处理器阵列容错上界(最大可用处理器阵列的大小)问题的求解,由于其理论上的难解性,多年来未取得突破性的进展.
其他文献
Formal Description of Crossing Social Network System Architecture Based on Temporal Logic
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时序图向PNML转换的研究与实现
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式化建模语言,具有严格的形式化语义及丰富的
会议
UML时序图
PNML
形式化语义
形式化分析
验证工具
行为模型
软件系统
建模语言
对象代理数据库模式规范化设计与范式理论
对象代理模型通过引入代理对象和代理类的概念对传统面向对象数据模型进行了扩展,更加灵活地实现了对象视图、角色多样性以及对象移动等多种抽象机制.对象代理数据库模式的规
会议
对象代理模型
数据库模式
规范化设计
信息冗余
面向对象数据模型
范式
执行效率
依赖约束
基于角色与目标注册元模型的互操作能力研究
为了促进需求模型间的互操作并有效评估角色与目标注册元模型为两种需求模型提供的互操作能力,提出了一种互操作能力评估方法.实验中以需求模型i*和KAOS对Meeting Scheduler
会议
基于角色
目标
注册
元模型
互操作能力
需求模型
评估方法
两次映射
新政之于投机客:一点“颜色”,两分质疑
“遏制投机性需求.控制投资性需求.鼓励普通商品住房和经济适用住房建设.合理引导住房消费”.是新一轮宏观调控的重点。而“投机”作为首要的打击对象.在原则上已经被判了“
期刊
投机性需求
投资性需求
经济适用住房
无期徒刑
打击对象
期房
营业税
房地产泡沫
宏观调控
地税局
基于量子克隆选择算法的AB非格蛋白质折叠预测
本文将免疫克隆选择算法与量子算法相结合的混合量子免疫算法应用在处理多极值和多变量的蛋白质折叠问题中.在克隆选择算法中引入高频变异算子以提高局部搜索的能力,并加入量
会议
量子算法
免疫克隆选择算法
全局最优值
折叠问题
算法应用
局部搜索
变异算子
编码方式
精确的堆内存使用量上界分析
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对“平板循
会议
堆内存
使用量
上界
符号执行
循环结构
程序切片技术
执行框架
内存模型
吹扫捕集-气相色谱-质谱法测定石化上壤中挥发性有机物
采用吹扫捕集-气相色谱-质谱法,建立了土壤中59种挥发性有机物(VOCs)的监测手段,考察了吹扫温度、吹扫时间和脱附时间等前处理条件的影响.吹扫捕集-气相色谱-质谱法的检出限
期刊
吹扫捕集
挥发性有机物
土壤
气相色谱-
质谱
疫情防控期间高职院校计算机基础课远程教学的探索
2020年突如其来的新冠疫情影响着社会的正常秩序,在经过党和政府的宏观调控下,各教育环节统一执行“停课不停学”政策趋势,由此各大高校采取线上远程教学活动给予应对.因此本
期刊
疫情防控期间
计算机基础课
远程教学
探索思考
与本文相关的学术论文