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

IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics最新文献

筛选
英文 中文
The United States Navy's Next Generation Computer Resources Program and the Testing Issues of Standardized Real-Time Operating Systems 美国海军下一代计算机资源计划和标准化实时操作系统的测试问题
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_60
Timothy Jodoin
{"title":"The United States Navy's Next Generation Computer Resources Program and the Testing Issues of Standardized Real-Time Operating Systems","authors":"Timothy Jodoin","doi":"10.1007/978-3-642-88049-0_60","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_60","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82641744","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
The State-of-the-Art in Real-Time Computing 实时计算的最新技术
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_53
L. Welch
{"title":"The State-of-the-Art in Real-Time Computing","authors":"L. Welch","doi":"10.1007/978-3-642-88049-0_53","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_53","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80739459","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
Issues in Object-Oriented Real-Time Language Design 面向对象实时语言设计中的若干问题
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_27
M. Aksit, J. Bosch
{"title":"Issues in Object-Oriented Real-Time Language Design","authors":"M. Aksit, J. Bosch","doi":"10.1007/978-3-642-88049-0_27","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_27","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90477869","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
Safety Licensing and Formal Correctness of High Integrity Embedded Systems 高完整性嵌入式系统的安全许可和形式正确性
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_9
J. Cullyer
{"title":"Safety Licensing and Formal Correctness of High Integrity Embedded Systems","authors":"J. Cullyer","doi":"10.1007/978-3-642-88049-0_9","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_9","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76053944","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
CORTO: High Availability in a Real-Time System 实时系统中的高可用性
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_94
C. Almeida, K. Marzullo
{"title":"CORTO: High Availability in a Real-Time System","authors":"C. Almeida, K. Marzullo","doi":"10.1007/978-3-642-88049-0_94","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_94","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76128897","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
Monitoring of Distributed Real-Time Systems 分布式实时系统监控
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_51
U. Schmid
{"title":"Monitoring of Distributed Real-Time Systems","authors":"U. Schmid","doi":"10.1007/978-3-642-88049-0_51","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_51","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76406433","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
Predictability Versus Adaptability in Real-Time Computing Thomas 实时计算中的可预测性与适应性
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_79
T. Lawrence
{"title":"Predictability Versus Adaptability in Real-Time Computing Thomas","authors":"T. Lawrence","doi":"10.1007/978-3-642-88049-0_79","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_79","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79338577","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
Hard, Soft, Hybrid Real-Time Systems and Their Uses 硬、软、混合实时系统及其应用
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_63
W. Kriechbaum
{"title":"Hard, Soft, Hybrid Real-Time Systems and Their Uses","authors":"W. Kriechbaum","doi":"10.1007/978-3-642-88049-0_63","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_63","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76249087","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
Verification and Validation in the Life-Cycle of Real-Time Software Development 实时软件开发生命周期中的验证与确认
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_101
Ö. Ciftcioglu
{"title":"Verification and Validation in the Life-Cycle of Real-Time Software Development","authors":"Ö. Ciftcioglu","doi":"10.1007/978-3-642-88049-0_101","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_101","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90421806","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
Usability of ATM Connections for Sensitive Real-Time Systems 敏感实时系统中ATM连接的可用性
IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics Pub Date : 1992-01-01 DOI: 10.1007/978-3-642-88049-0_110
K. Jonas
{"title":"Usability of ATM Connections for Sensitive Real-Time Systems","authors":"K. Jonas","doi":"10.1007/978-3-642-88049-0_110","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_110","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85205400","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学术官方微信