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

Models, Algorithms, Logics and Tools最新文献

筛选
英文 中文
Towards Automated Variant Selection for Heterogeneous Tiled Architectures 面向异构平铺结构的自动变体选择
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_19
C. Baier, Sascha Klüppelholz, Sascha Wunderlich
{"title":"Towards Automated Variant Selection for Heterogeneous Tiled Architectures","authors":"C. Baier, Sascha Klüppelholz, Sascha Wunderlich","doi":"10.1007/978-3-319-63121-9_19","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_19","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","volume":"7 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":"117198890","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
Comparing Source Sets and Persistent Sets for Partial Order Reduction 偏序约简的源集与持久集的比较
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_26
P. Abdulla, Stavros Aronis, B. Jonsson, Konstantinos Sagonas
{"title":"Comparing Source Sets and Persistent Sets for Partial Order Reduction","authors":"P. Abdulla, Stavros Aronis, B. Jonsson, Konstantinos Sagonas","doi":"10.1007/978-3-319-63121-9_26","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_26","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","volume":"148 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":"116581809","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
The Cost of Exactness in Quantitative Reachability 定量可达性中准确性的代价
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_18
K. Chatterjee, L. Doyen, T. Henzinger
{"title":"The Cost of Exactness in Quantitative Reachability","authors":"K. Chatterjee, L. Doyen, T. Henzinger","doi":"10.1007/978-3-319-63121-9_18","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_18","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","volume":"83 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":"121676802","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
Property-Preserving Parallel Decomposition 保持性质的并行分解
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_7
B. Steffen, Marc Jasper
{"title":"Property-Preserving Parallel Decomposition","authors":"B. Steffen, Marc Jasper","doi":"10.1007/978-3-319-63121-9_7","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_7","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","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":"131081205","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
Assertion-Based Reasoning Method for Calculus of Wireless System 基于断言的无线系统微积分推理方法
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_24
Luyao Wang, Wanling Xie, Huibiao Zhu
{"title":"Assertion-Based Reasoning Method for Calculus of Wireless System","authors":"Luyao Wang, Wanling Xie, Huibiao Zhu","doi":"10.1007/978-3-319-63121-9_24","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_24","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","volume":"16 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":"124490432","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
Teaching Academic Concurrency to Amazing Students 向优秀的学生教授学术并行
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_9
Sebastian Biewer, Felix Freiberger, P. L. Held, H. Hermanns
{"title":"Teaching Academic Concurrency to Amazing Students","authors":"Sebastian Biewer, Felix Freiberger, P. L. Held, H. Hermanns","doi":"10.1007/978-3-319-63121-9_9","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_9","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","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":"129380727","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
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking 使用统计模型检查安全关键Java应用程序的确定截止日期检查
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_14
A. Ravn, Bent Thomsen, K. S. Luckow, Lone Leth, Thomas Bøgholm
{"title":"Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking","authors":"A. Ravn, Bent Thomsen, K. S. Luckow, Lone Leth, Thomas Bøgholm","doi":"10.1007/978-3-319-63121-9_14","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_14","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","volume":"178 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":"122808338","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
Information Flow for Timed Automata 时间自动机的信息流
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_1
F. Nielson, H. R. Nielson, P. Vasilikos
{"title":"Information Flow for Timed Automata","authors":"F. Nielson, H. R. Nielson, P. Vasilikos","doi":"10.1007/978-3-319-63121-9_1","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_1","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","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":"132772105","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}
引用次数: 10
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems 迈向一个工具:用于网络物理系统建模、分析、仿真和实现的TIMES-Pro
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_31
Jakaria Abdullah, Gaoyang Dai, Nan Guan, M. Mohaqeqi, W. Yi
{"title":"Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems","authors":"Jakaria Abdullah, Gaoyang Dai, Nan Guan, M. Mohaqeqi, W. Yi","doi":"10.1007/978-3-319-63121-9_31","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_31","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","volume":"96 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":"126276694","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
Runtime Verification Logics A Language Design Perspective 运行时验证逻辑:语言设计的视角
Models, Algorithms, Logics and Tools Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-63121-9_16
K. Havelund, Giles Reger
{"title":"Runtime Verification Logics A Language Design Perspective","authors":"K. Havelund, Giles Reger","doi":"10.1007/978-3-319-63121-9_16","DOIUrl":"https://doi.org/10.1007/978-3-319-63121-9_16","url":null,"abstract":"","PeriodicalId":112982,"journal":{"name":"Models, Algorithms, Logics and Tools","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":"130300702","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}
引用次数: 21
首页 上一页 下一页 尾页
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学术官方微信