登录
|
注册
|
QQ账号登录
|
常见问题
联系我们:
我要上传
首页
浏览
幼儿/小学教育
中学教育
高等教育
研究生考试
外语学习
资格/认证考试
论文
IT计算机
经济/贸易/财会
管理/人力资源
建筑/环境
汽车/机械/制造
研究报告
办公文档
生活休闲
金融/股票/期货
法律/法学
通信/电子
医学/心理学
行业资料
文学/艺术/军事/历史
我的淘豆
我要上传
帮助中心
复制
Automatic Synthesis of Fault-Tolerance.ppt
文档分类:
外语学习
|
页数:约43页
举报非法文档有奖
分享到:
1
/
43
搜索
关闭预览
下载提示
1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档,不会出现我们的网址水印。
同意并开始全文预览
(约 1-6 秒)
下载文档到电脑,查找使用更方便
下 载
还剩?页未读,
继续阅读
分享到:
1
/
43
文档列表
文档介绍
Automatic Synthesis of Fault-Tolerance.ppt
AutomaticSynthesisofFault-puterScienceandEngineeringDepartmentMichiganStateUniversityAdvisor:,Question:Howdoweadddesiredfault-tolerancepropertiestop inordertocreateanewprogramp’suchthat:Requirements:Intheabsenceoff,theresultingfault-tolerantprogramp’behavessimilartopInthepresenceoff,theresultingfault-tolerantprogramp’satisfiesthedesiredfault-’’frompCorrectbyconstruction3PreviousWorkonAutomatedSynthesis4Synthesis:Specification-BasedSpecificationofp(TemporalLogicExpressions/Automata)SynthesisAlgorithm(provethesatisfiabilityofthespecification)FaultsFault-tolerancerequirements(TemporalLogicExpressions)Fault-tolerantprogramp’Programsynthesis: Fault-Tolerancesynthesis:[EmersonClarke1982] [AroraAttieEmerson1998][AttieEmerson2001][KupfermannVardi2001]5Synthesis:Calculational[KulkarniArora2000][KulkarniAroraChippada2001]Fault-intolerantprogramp(Transitions)SynthesisAlgorithm(Calculatethesetoftransitions)Fault-tolerantprogramp’(Transitions)Fault-tolerancerequirementsFaults(Transitions)plexityofCalculationalSynthesisHighatomicitymodel:processescanatomicallyread/writeallprogramvariablesPolynomialinthestatespaceofthefault-intolerantprogramp[KA00]Lowatomicitymodel(distributedprograms):processeshaveread/writerestrictionswithrespecttoprogramvariablesExponentialinthestatespaceofthefault-intolerantprogrampforsynthesizingmaskingfault-tolerance[KA00][KA00],Automatingtheadditionoffault-tolerance,-tolerantdistributedprograms7OutlinePreliminaryconceptsSynthesisproblemCurrentresultsTheoreticalissuesStep-wiseautomationPolynomial-timeboundaryHeuristicsPre-synthesizedfault-ponentsPracticalissuesAframeworkforthesynthesisoffault-tolerantprogramsContributionsOpenproblems8PreliminaryConcepts:ProgramsandFaultsProgr
Automatic Synthesis of Fault-Tolerance 来自淘豆网www.taodocs.com转载请标明出处.
猜你喜欢
人教精通版小学英语四年级上册第二单元测试题..
2页
2024年小型热带鱼喂食的正确方法
3页
2024年小升初简历
25页
2024年小区春节安全倡议书
4页
读《乌塔》有感15篇
21页
2024年导游培训个人工作总结
11页
训练足球弧线球的技巧
3页
2024年对我影响最大的一个人作文800字(精选3..
60页
2024年对仓库的工作总结范文
20页
2024年寒假生活调查报告
15页
2024年寒假实践活动心得体会(集锦15篇)
29页
2024年寒假周记模板集锦九篇
12页
2024年宿舍卫生不合格检讨书(15篇)
35页
2024年家风家训家庭故事优秀征文范文
12页
2024年家长给老师的感谢信(集合15篇)
21页
相关文档
更多>>
非法内容举报中心
文档信息
页数
:
43
收藏数
:
0
收藏
顶次数
:
0
顶
上传人
:
陈潇睡不醒
文件大小
:
153 KB
时间
:
2020-01-08
相关标签
生完二胎朋友圈感言
生完孩子后的幸福感言
生我养我的地方感言
生有所养老有所依感言
生曰感言
失败感言
失败后的感言
失恋感言
失恋寂寞感言
失恋伤心感言
英语四六级
英语专业四八级
英语词典
商务英语
托福
雅思/LSAT
GRE
GMAT
日语学习
法语学习
语法
翻译基础知识
英语阅读
英语写作
英语听力
英语口语
英语词汇
英语基础
英语学习
最近更新
基于网络分析法的公路桥梁施工安全风险评价..
基于纳米材料修饰的新型电化学生物传感器的..
基于符号学的明式椅类家具研究的开题报告
基于研究立方氮化硼单晶合成的触媒结构表征..
肿瘤内科基础知识
基于生态平衡的隧道地下水渗控方法及限排水..
2024年年度医院工作计划集锦5篇
2024年年夜饭邀请函15篇
2024年年会的邀请函模板集合8篇
基于深度图像序列的三维人手运动跟踪技术研..
2024年平凡的岗位演讲稿
基于模型模拟和OLI遥感影像的植被叶绿素含量..
2024年干股协议书范本(精选19篇)
2024年常用歇后语
2024年希望工程感谢信范文集锦8篇
基于时间—电压转换法的时间间隔测量电路模..
2024年师范实习证明
2024年师德考核个人师德总结(通用41篇)
退役军人创新创业大赛策划
2024年最新药学毕业论文8000字(4篇)
培养联系人资格审查表(范本1)
设备日常点检表模板
(完整版)企业征信查询申请书及授权书(最新版..
重庆中考语文记叙文阅读复习5考点针对练——..
纯化水管道安装方案
最新河北2022年装饰定额宣贯
叠合板式混凝土剪力墙结构施工及验收规程 ..
全国学习型城市建设工作推进会【超值分享】..
在线
客服
微信
客服
QQ
客服
意见
反馈
手机
查看
返回
顶部