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

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

筛选
英文 中文
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints 用布尔约束扩展多面体的仅约束表示
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_10
Alexey Bakhirkin, D. Monniaux
{"title":"Extending Constraint-Only Representation of Polyhedra with Boolean Constraints","authors":"Alexey Bakhirkin, D. Monniaux","doi":"10.1007/978-3-319-99725-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_10","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"12 1","pages":"127-145"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78301439","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
Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction 转换不变量的归纳终止证明及其与大小变化抽象的关系
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_25
Florian Zuleger
{"title":"Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction","authors":"Florian Zuleger","doi":"10.1007/978-3-319-99725-4_25","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_25","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"45 1","pages":"423-444"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85935031","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
Experience Developing and Deploying Concurrency Analysis at Facebook 有在Facebook开发和部署并发分析的经验
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_5
P. O'Hearn
{"title":"Experience Developing and Deploying Concurrency Analysis at Facebook","authors":"P. O'Hearn","doi":"10.1007/978-3-319-99725-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_5","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"34 1","pages":"56-70"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85059508","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}
引用次数: 13
Abstract Interpretation of CTL Properties CTL性质的解释
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_24
Caterina Urban, Samuel Ueltschi, Peter Müller
{"title":"Abstract Interpretation of CTL Properties","authors":"Caterina Urban, Samuel Ueltschi, Peter Müller","doi":"10.1007/978-3-319-99725-4_24","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_24","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"25 1","pages":"402-422"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82601586","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}
引用次数: 15
The Impact of Program Transformations on Static Program Analysis 程序转换对静态程序分析的影响
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_19
Kedar S. Namjoshi, Zvonimir Pavlinovic
{"title":"The Impact of Program Transformations on Static Program Analysis","authors":"Kedar S. Namjoshi, Zvonimir Pavlinovic","doi":"10.1007/978-3-319-99725-4_19","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_19","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"25 1","pages":"306-325"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74078917","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
Process-Local Static Analysis of Synchronous Processes 同步进程的进程局部静态分析
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_18
Jan Midtgaard, F. Nielson, H. R. Nielson
{"title":"Process-Local Static Analysis of Synchronous Processes","authors":"Jan Midtgaard, F. Nielson, H. R. Nielson","doi":"10.1007/978-3-319-99725-4_18","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_18","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"14 1","pages":"284-305"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91011942","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
Modular Software Fault Isolation as Abstract Interpretation 模块化软件故障隔离作为抽象解释
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_12
Frédéric Besson, T. Jensen, Julien Lepiller
{"title":"Modular Software Fault Isolation as Abstract Interpretation","authors":"Frédéric Besson, T. Jensen, Julien Lepiller","doi":"10.1007/978-3-319-99725-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_12","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"63 1","pages":"166-186"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82337804","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
Modular Static Analysis of String Manipulations in C Programs C程序中字符串操作的模块化静态分析
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_16
Matthieu Journault, A. Miné, Abdelraouf Ouadjaout
{"title":"Modular Static Analysis of String Manipulations in C Programs","authors":"Matthieu Journault, A. Miné, Abdelraouf Ouadjaout","doi":"10.1007/978-3-319-99725-4_16","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_16","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"6 1","pages":"243-262"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72873840","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}
引用次数: 13
Numerical Invariants via Abstract Machines 抽象机器中的数值不变量
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2018-08-29 DOI: 10.1007/978-3-319-99725-4_3
Zachary Kincaid
{"title":"Numerical Invariants via Abstract Machines","authors":"Zachary Kincaid","doi":"10.1007/978-3-319-99725-4_3","DOIUrl":"https://doi.org/10.1007/978-3-319-99725-4_3","url":null,"abstract":"","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"70 1","pages":"24-42"},"PeriodicalIF":0.0,"publicationDate":"2018-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83818138","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
Towards the development of a frequency agile MEMS acoustic sensor system 面向频率捷变MEMS声传感器系统的研制
2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff Pub Date : 2017-12-25 DOI: 10.1109/ICSENS.2017.8234395
José Guerreiro, A. Reid, Joseph C. Jackson, J. Windmill
{"title":"Towards the development of a frequency agile MEMS acoustic sensor system","authors":"José Guerreiro, A. Reid, Joseph C. Jackson, J. Windmill","doi":"10.1109/ICSENS.2017.8234395","DOIUrl":"https://doi.org/10.1109/ICSENS.2017.8234395","url":null,"abstract":"Designing acoustic sensors with adaptable frequency responses is of great interest in order to deal with diverse application requirements. A bio-inspired acoustic concept exploiting frequency agility using a MEMS microphone front-end is presented. Simulations and experimental results show adaptations of the microphone's acoustic frequency response according to applied DC voltage potentials. Finally, the microphone is demonstrated as part of an integrated adaptive frequency sensor feedback loop. Such acoustic sensor systems can be used in many applications requiring high frequency discrimination and agile tuning.","PeriodicalId":92164,"journal":{"name":"2017 IEEE Sensors Applications Symposium (SAS). IEEE Staff","volume":"35 1","pages":"1-3"},"PeriodicalIF":0.0,"publicationDate":"2017-12-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81985884","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
首页 上一页
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学术官方微信