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

2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff最新文献

筛选
英文 中文
Language Inclusion Algorithms as Complete Abstract Interpretations 语言包含算法作为完整的抽象解释
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_8
P. Ganty, Francesco Ranzato, Pedro Valero
{"title":"Language Inclusion Algorithms as Complete Abstract Interpretations","authors":"P. Ganty, Francesco Ranzato, Pedro Valero","doi":"10.1007/978-3-030-32304-2_8","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_8","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"42 1","pages":"140-161"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80591627","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
A Temporal Logic for Higher-Order Functional Programs 高阶函数程序的时间逻辑
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_21
Yuya Okuyama, Takeshi Tsukada, N. Kobayashi
{"title":"A Temporal Logic for Higher-Order Functional Programs","authors":"Yuya Okuyama, Takeshi Tsukada, N. Kobayashi","doi":"10.1007/978-3-030-32304-2_21","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_21","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"20 1","pages":"437-458"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75021325","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
A Change-Based Heuristic for Static Analysis with Policy Iteration 基于变化的策略迭代静态分析启发式算法
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-10-08 DOI: 10.1007/978-3-030-32304-2_5
Marcus Völker, S. Kowalewski
{"title":"A Change-Based Heuristic for Static Analysis with Policy Iteration","authors":"Marcus Völker, S. Kowalewski","doi":"10.1007/978-3-030-32304-2_5","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_5","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"69 1","pages":"73-95"},"PeriodicalIF":0.0,"publicationDate":"2019-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87603350","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
Responsibility Analysis by Abstract Interpretation 抽象解释的责任分析
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-07-18 DOI: 10.1007/978-3-030-32304-2_18
Chaoqiang Deng, P. Cousot
{"title":"Responsibility Analysis by Abstract Interpretation","authors":"Chaoqiang Deng, P. Cousot","doi":"10.1007/978-3-030-32304-2_18","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_18","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"26 1","pages":"368-388"},"PeriodicalIF":0.0,"publicationDate":"2019-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81400128","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
On the Monniaux Problem in Abstract Interpretation 论抽象解释中的Monniaux问题
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2019-07-18 DOI: 10.1007/978-3-030-32304-2_9
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, J. Ouaknine, Amaury Pouly, J. Worrell
{"title":"On the Monniaux Problem in Abstract Interpretation","authors":"Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, J. Ouaknine, Amaury Pouly, J. Worrell","doi":"10.1007/978-3-030-32304-2_9","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_9","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"81 1","pages":"162-180"},"PeriodicalIF":0.0,"publicationDate":"2019-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81244969","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
Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets 多相线性排序函数及其与循环集的关系
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-11-18 DOI: 10.1007/978-3-030-32304-2_22
Amir M. Ben-Amram, Jesús Doménech, S. Genaim
{"title":"Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets","authors":"Amir M. Ben-Amram, Jesús Doménech, S. Genaim","doi":"10.1007/978-3-030-32304-2_22","DOIUrl":"https://doi.org/10.1007/978-3-030-32304-2_22","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"11 1","pages":"459-480"},"PeriodicalIF":0.0,"publicationDate":"2018-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78751163","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}
引用次数: 22
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 不一定封闭多面体的有效抽象定义域
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_11
Anna Becchi, E. Zaffanella
{"title":"An Efficient Abstract Domain for Not Necessarily Closed Polyhedra","authors":"Anna Becchi, E. Zaffanella","doi":"10.1007/978-3-319-99725-4_11","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_11","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"18 1","pages":"146-165"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73225617","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
Volume-Based Merge Heuristics for Disjunctive Numeric Domains 基于体积的析取数值域合并启发式算法
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_23
Andrew Ruef, K. Hietala, Arlen Cox
{"title":"Volume-Based Merge Heuristics for Disjunctive Numeric Domains","authors":"Andrew Ruef, K. Hietala, Arlen Cox","doi":"10.1007/978-3-319-99725-4_23","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_23","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"74 1","pages":"383-401"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72929893","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
Deductive Verification in Decidable Fragments with Ivy 基于Ivy的可判定片段的演绎验证
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_4
K. McMillan, O. Padon
{"title":"Deductive Verification in Decidable Fragments with Ivy","authors":"K. McMillan, O. Padon","doi":"10.1007/978-3-319-99725-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_4","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"15 1","pages":"43-55"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81313866","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}
引用次数: 20
Block-Size Independence for GPU Programs GPU程序的块大小独立性
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_9
R. Alur, Joseph Devietti, N. Singhania
{"title":"Block-Size Independence for GPU Programs","authors":"R. Alur, Joseph Devietti, N. Singhania","doi":"10.1007/978-3-319-99725-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_9","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"11 suppl_1 1","pages":"107-126"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83651356","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
首页 上一页 下一页 尾页
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学术官方微信