发布求助
文献互助 智能选刊 最新文献

International Conference on Reliable Software Technologies最新文献

筛选
英文 中文
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit 利用硬件时间管理单元提高执行时间控制的性能
International Conference on Reliable Software Technologies Pub Date : 2012-06-11 DOI: 10.1007/978-3-642-30598-6_13
K. N. Gregertsen, A. Skavhaug
{"title":"Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit","authors":"K. N. Gregertsen, A. Skavhaug","doi":"10.1007/978-3-642-30598-6_13","DOIUrl":"https://doi.org/10.1007/978-3-642-30598-6_13","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134589296","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems 两级分级调度系统设计与验证的形式化方法
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_9
L. Carnevali, G. Lipari, Alessandro Pinzuti, E. Vicario
{"title":"A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems","authors":"L. Carnevali, G. Lipari, Alessandro Pinzuti, E. Vicario","doi":"10.1007/978-3-642-21338-0_9","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_9","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124494422","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Adapting ACATS to the Ahven Testing Framework 使ACATS适应于艾文测试框架
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_6
Dan Eilers, T. Koskinen
{"title":"Adapting ACATS to the Ahven Testing Framework","authors":"Dan Eilers, T. Koskinen","doi":"10.1007/978-3-642-21338-0_6","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132490529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
ORK+/XtratuM: An Open Partitioning Platform for Ada 一个开放的Ada分区平台
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_12
Ángel Esquinas, Juan Zamorano, J. A. Puente, M. Masmano, I. Ripoll, A. Crespo
{"title":"ORK+/XtratuM: An Open Partitioning Platform for Ada","authors":"Ángel Esquinas, Juan Zamorano, J. A. Puente, M. Masmano, I. Ripoll, A. Crespo","doi":"10.1007/978-3-642-21338-0_12","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_12","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114258801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Assuring Software Reliability While Using Web Services and Commercial Products 在使用Web服务和商业产品时确保软件可靠性
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_1
J. O'Leary
{"title":"Assuring Software Reliability While Using Web Services and Commercial Products","authors":"J. O'Leary","doi":"10.1007/978-3-642-21338-0_1","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_1","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132595941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Design and Implementation of a Ravenscar Extension for Multiprocessors 多处理器Ravenscar扩展的设计与实现
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_3
Fabien Chouteau, J. Ruiz
{"title":"Design and Implementation of a Ravenscar Extension for Multiprocessors","authors":"Fabien Chouteau, J. Ruiz","doi":"10.1007/978-3-642-21338-0_3","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_3","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126314278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot 使用机器人作为激励工具:先锋机器人的Ada接口
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_11
Rigoberto Chil, D. Alonso, Francisco J. Ortiz, J. A. Pastor
{"title":"Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot","authors":"Rigoberto Chil, D. Alonso, Francisco J. Ortiz, J. A. Pastor","doi":"10.1007/978-3-642-21338-0_11","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_11","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116393318","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems 立场文件:DO-178C/ED-12C和面向对象的关键系统
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_19
D. Daniels
{"title":"Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems","authors":"D. Daniels","doi":"10.1007/978-3-642-21338-0_19","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_19","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124106232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Implementing Mixed Criticality Systems in Ada 在Ada中实现混合临界系统
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_13
Sanjoy Baruah, A. Burns
{"title":"Implementing Mixed Criticality Systems in Ada","authors":"Sanjoy Baruah, A. Burns","doi":"10.1007/978-3-642-21338-0_13","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_13","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125388242","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 78
OOT, DO-178C and SPARK OOT, DO-178C和SPARK
International Conference on Reliable Software Technologies Pub Date : 2011-06-20 DOI: 10.1007/978-3-642-21338-0_18
R. Chapman, Trevor Jennings
{"title":"OOT, DO-178C and SPARK","authors":"R. Chapman, Trevor Jennings","doi":"10.1007/978-3-642-21338-0_18","DOIUrl":"https://doi.org/10.1007/978-3-642-21338-0_18","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130446200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信