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

Symposium on Real-Time and Hybrid Systems最新文献

筛选
英文 中文
Think Sequential, Run Parallel 顺序思考，并行运行
Symposium on Real-Time and Hybrid Systems Pub Date : 2018-09-29 DOI: 10.1007/978-3-030-01461-2_1
W. Fan, Muyang Liu, Ruiqi Xu, Lei Hou, Dongze Li, Zizhong Meng
{"title":"Think Sequential, Run Parallel","authors":"W. Fan, Muyang Liu, Ruiqi Xu, Lei Hou, Dongze Li, Zizhong Meng","doi":"10.1007/978-3-030-01461-2_1","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_1","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127344644","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
Q|SI〉: A Quantum Programming Environment Q|SI >:一个量子编程环境
Symposium on Real-Time and Hybrid Systems Pub Date : 2017-10-13 DOI: 10.1007/978-3-030-01461-2_8
Shusen Liu, Xin Wang, Li Zhou, J. Guan, Yinan Li, Yang He, R. Duan, M. Ying
{"title":"Q|SI〉: A Quantum Programming Environment","authors":"Shusen Liu, Xin Wang, Li Zhou, J. Guan, Yinan Li, Yang He, R. Duan, M. Ying","doi":"10.1007/978-3-030-01461-2_8","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_8","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134436336","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}
引用次数: 34
Concurrency: Handling Interference Formally 并发:正式处理干扰
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_2
Cliff B. Jones
{"title":"Concurrency: Handling Interference Formally","authors":"Cliff B. Jones","doi":"10.1007/978-3-030-01461-2_2","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_2","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116666025","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
Space for Traffic Manoeuvres: An Overview 交通机动空间:概览
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_11
E. Olderog
{"title":"Space for Traffic Manoeuvres: An Overview","authors":"E. Olderog","doi":"10.1007/978-3-030-01461-2_11","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_11","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126944434","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
Characterization and Verification of Stuttering Equivalence 口吃等效性的表征与验证
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_7
Xinxin Liu, Wenhui Zhang
{"title":"Characterization and Verification of Stuttering Equivalence","authors":"Xinxin Liu, Wenhui Zhang","doi":"10.1007/978-3-030-01461-2_7","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_7","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126046200","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
Decidability of the Initial-State Opacity of Real-Time Automata 实时自动机初始状态不透明性的可判定性
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_3
Lingtai Wang, N. Zhan
{"title":"Decidability of the Initial-State Opacity of Real-Time Automata","authors":"Lingtai Wang, N. Zhan","doi":"10.1007/978-3-030-01461-2_3","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_3","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"224 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132127016","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}
引用次数: 6
HAT: Analyzing Linear Hybrid Automata as Labelled Transition System 线性混合自动机作为标记过渡系统的分析
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_5
Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li
{"title":"HAT: Analyzing Linear Hybrid Automata as Labelled Transition System","authors":"Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li","doi":"10.1007/978-3-030-01461-2_5","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_5","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114674451","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
Analyzing Interrupt Handlers via Interprocedural Summaries 通过过程间摘要分析中断处理程序
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_13
Xueguang Wu, Liqian Chen, Ji Wang
{"title":"Analyzing Interrupt Handlers via Interprocedural Summaries","authors":"Xueguang Wu, Liqian Chen, Ji Wang","doi":"10.1007/978-3-030-01461-2_13","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_13","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130332631","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 Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology 恶魔、赌徒与工程师——调和混合系统理论与计量学
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_9
M. Fränzle, P. Kröger
{"title":"The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology","authors":"M. Fränzle, P. Kröger","doi":"10.1007/978-3-030-01461-2_9","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_9","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115024344","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
Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China 领域科学与工程:10年工作回顾与表扬[j] .领域科学与工程，2017年10月20日，长沙，中国
Symposium on Real-Time and Hybrid Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-01461-2_4
D. Bjørner
{"title":"Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China","authors":"D. Bjørner","doi":"10.1007/978-3-030-01461-2_4","DOIUrl":"https://doi.org/10.1007/978-3-030-01461-2_4","url":null,"abstract":"","PeriodicalId":213637,"journal":{"name":"Symposium on Real-Time and Hybrid Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133508363","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学术文献互助群
群 号：604180095
Book学术官方微信
小红书