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

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

筛选
英文 中文
Testing by Executing Logic Specifications 通过执行逻辑规范进行测试
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_105
M. Felder, P. S. Pietro
{"title":"Testing by Executing Logic Specifications","authors":"M. Felder, P. S. Pietro","doi":"10.1007/978-3-642-88049-0_105","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_105","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":"78548378","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
Real-Time: The Uncertainty Between Sensor and Process Requirements in Computer Vision 实时:计算机视觉中传感器和过程需求之间的不确定性
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_99
M. F. Carlsohn
{"title":"Real-Time: The Uncertainty Between Sensor and Process Requirements in Computer Vision","authors":"M. F. Carlsohn","doi":"10.1007/978-3-642-88049-0_99","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_99","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":"80708855","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
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? 实时应用的正确规范/设计/实现范式是什么?
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_68
J. Mcdermid
{"title":"What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?","authors":"J. Mcdermid","doi":"10.1007/978-3-642-88049-0_68","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_68","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":"84638302","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
Real-Time Rule Based Control of Robot Motion 基于实时规则的机器人运动控制
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_102
M. K. Ciliz
{"title":"Real-Time Rule Based Control of Robot Motion","authors":"M. K. Ciliz","doi":"10.1007/978-3-642-88049-0_102","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_102","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":"90559078","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
Using Integration Architectures for Systems 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_85
W. Rossak
{"title":"Using Integration Architectures for Systems Development","authors":"W. Rossak","doi":"10.1007/978-3-642-88049-0_85","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_85","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":"90186619","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
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? 实时应用的正确规范/设计/实现范式是什么?
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_66
C. Heitmeyer
{"title":"What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?","authors":"C. Heitmeyer","doi":"10.1007/978-3-642-88049-0_66","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_66","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":"83395969","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
A Generic Systems Integration Framework for Large and Time-Critical 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_44
W. Rossak, L. Welch, T. Zemel, Johann Eder
{"title":"A Generic Systems Integration Framework for Large and Time-Critical Systems","authors":"W. Rossak, L. Welch, T. Zemel, Johann Eder","doi":"10.1007/978-3-642-88049-0_44","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_44","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":"76522179","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}
引用次数: 2
Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs 实时操作系统:理论解决方案能否与实际需求相匹配
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_4
H. Rzehak
{"title":"Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs","authors":"H. Rzehak","doi":"10.1007/978-3-642-88049-0_4","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_4","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":"75524202","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
VOTRICS: A Highly Predictable Fault Tolerant System Architecture VOTRICS:一个高度可预测的容错系统架构
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_77
B. Appel
{"title":"VOTRICS: A Highly Predictable Fault Tolerant System Architecture","authors":"B. Appel","doi":"10.1007/978-3-642-88049-0_77","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_77","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":"76125281","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
System Level Real Time Distributed Diagnosis 系统级实时分布式诊断
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_118
C. Sêrro
{"title":"System Level Real Time Distributed Diagnosis","authors":"C. Sêrro","doi":"10.1007/978-3-642-88049-0_118","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_118","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":"78804957","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学术官方微信