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

International Conference on Quantitative Evaluation of Systems最新文献

筛选
英文 中文
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement 定时自动机的均匀抽样及其在语言包含测量中的应用
International Conference on Quantitative Evaluation of Systems Pub Date : 2016-08-23 DOI: 10.1007/978-3-319-43425-4_13
Benoît Barbot, Nicolas Basset, M. Beunardeau, M. Kwiatkowska
{"title":"Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement","authors":"Benoît Barbot, Nicolas Basset, M. Beunardeau, M. Kwiatkowska","doi":"10.1007/978-3-319-43425-4_13","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_13","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114239026","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}
引用次数: 9
Inferring Covariances for Probabilistic Programs 概率程序的协方差推断
International Conference on Quantitative Evaluation of Systems Pub Date : 2016-06-27 DOI: 10.1007/978-3-319-43425-4_14
Benjamin Lucien Kaminski, J. Katoen, C. Matheja
{"title":"Inferring Covariances for Probabilistic Programs","authors":"Benjamin Lucien Kaminski, J. Katoen, C. Matheja","doi":"10.1007/978-3-319-43425-4_14","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_14","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131052999","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
Property-Driven State-Space Coarsening for Continuous Time Markov Chains 连续时间马尔可夫链的属性驱动状态空间粗化
International Conference on Quantitative Evaluation of Systems Pub Date : 2016-06-03 DOI: 10.1007/978-3-319-43425-4_1
M. Michaelides, D. Milios, J. Hillston, G. Sanguinetti
{"title":"Property-Driven State-Space Coarsening for Continuous Time Markov Chains","authors":"M. Michaelides, D. Milios, J. Hillston, G. Sanguinetti","doi":"10.1007/978-3-319-43425-4_1","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_1","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115226647","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
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent 基于双随机梯度上升的连续时间马尔可夫决策过程有界可达性策略学习
International Conference on Quantitative Evaluation of Systems Pub Date : 2016-05-31 DOI: 10.1007/978-3-319-43425-4_17
E. Bartocci, L. Bortolussi, T. Brázdil, D. Milios, G. Sanguinetti
{"title":"Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent","authors":"E. Bartocci, L. Bortolussi, T. Brázdil, D. Milios, G. Sanguinetti","doi":"10.1007/978-3-319-43425-4_17","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_17","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116503378","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}
引用次数: 8
Quantitative Placement of Services in Hierarchical Clouds 分层云中服务的定量定位
International Conference on Quantitative Evaluation of Systems Pub Date : 2015-09-01 DOI: 10.1007/978-3-319-22264-6_13
A. Tantawi
{"title":"Quantitative Placement of Services in Hierarchical Clouds","authors":"A. Tantawi","doi":"10.1007/978-3-319-22264-6_13","DOIUrl":"https://doi.org/10.1007/978-3-319-22264-6_13","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124098759","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}
引用次数: 8
A Compression App for Continuous Probability Distributions 连续概率分布的压缩应用程序
International Conference on Quantitative Evaluation of Systems Pub Date : 2015-09-01 DOI: 10.1007/978-3-319-22264-6_8
M. Bungert, H. Hermanns, Reza Pulungan
{"title":"A Compression App for Continuous Probability Distributions","authors":"M. Bungert, H. Hermanns, Reza Pulungan","doi":"10.1007/978-3-319-22264-6_8","DOIUrl":"https://doi.org/10.1007/978-3-319-22264-6_8","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132284436","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
Power and Effectiveness in Queueing Systems 排队系统中的权力和有效性
International Conference on Quantitative Evaluation of Systems Pub Date : 2015-09-01 DOI: 10.1007/978-3-319-22264-6_18
G. Rubino
{"title":"Power and Effectiveness in Queueing Systems","authors":"G. Rubino","doi":"10.1007/978-3-319-22264-6_18","DOIUrl":"https://doi.org/10.1007/978-3-319-22264-6_18","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122711059","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
Impact of Policy Design on Workflow Resiliency Computation Time 策略设计对工作流弹性计算时间的影响
International Conference on Quantitative Evaluation of Systems Pub Date : 2015-09-01 DOI: 10.1007/978-3-319-22264-6_16
John C. Mace, C. Morisset, A. Moorsel
{"title":"Impact of Policy Design on Workflow Resiliency Computation Time","authors":"John C. Mace, C. Morisset, A. Moorsel","doi":"10.1007/978-3-319-22264-6_16","DOIUrl":"https://doi.org/10.1007/978-3-319-22264-6_16","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121475945","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
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain 具有连续域的随机可满足模理论的求解过程
International Conference on Quantitative Evaluation of Systems Pub Date : 2015-09-01 DOI: 10.1007/978-3-319-22264-6_19
Yang Gao, M. Fränzle
{"title":"A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain","authors":"Yang Gao, M. Fränzle","doi":"10.1007/978-3-319-22264-6_19","DOIUrl":"https://doi.org/10.1007/978-3-319-22264-6_19","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128923215","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
Uniting Academic Achievements on Performance Analysis with Industrial Needs 将绩效分析的学术成果与行业需求相结合
International Conference on Quantitative Evaluation of Systems Pub Date : 2015-09-01 DOI: 10.1007/978-3-319-22264-6_1
B. Theelen, J. Hooman
{"title":"Uniting Academic Achievements on Performance Analysis with Industrial Needs","authors":"B. Theelen, J. Hooman","doi":"10.1007/978-3-319-22264-6_1","DOIUrl":"https://doi.org/10.1007/978-3-319-22264-6_1","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127321826","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
首页 上一页
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学术官方微信