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

Proceedings of the 8th ACM international conference on Embedded software最新文献

筛选
英文 中文
Session details: Static techniques 会话细节:静态技术
Proceedings of the 8th ACM international conference on Embedded software Pub Date : 2008-10-19 DOI: 10.1145/3260797
J. Palsberg
{"title":"Session details: Static techniques","authors":"J. Palsberg","doi":"10.1145/3260797","DOIUrl":"https://doi.org/10.1145/3260797","url":null,"abstract":"","PeriodicalId":130283,"journal":{"name":"Proceedings of the 8th ACM international conference on Embedded software","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114530184","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
Session details: Testing 会话详细信息:测试
Proceedings of the 8th ACM international conference on Embedded software Pub Date : 2008-10-19 DOI: 10.1145/3260798
Luca de Alfaro
{"title":"Session details: Testing","authors":"Luca de Alfaro","doi":"10.1145/3260798","DOIUrl":"https://doi.org/10.1145/3260798","url":null,"abstract":"","PeriodicalId":130283,"journal":{"name":"Proceedings of the 8th ACM international conference on Embedded software","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115830218","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
Session details: Flash memory 会话详情:Flash memory
Proceedings of the 8th ACM international conference on Embedded software Pub Date : 2008-10-19 DOI: 10.1145/3260793
C. Kirsch
{"title":"Session details: Flash memory","authors":"C. Kirsch","doi":"10.1145/3260793","DOIUrl":"https://doi.org/10.1145/3260793","url":null,"abstract":"","PeriodicalId":130283,"journal":{"name":"Proceedings of the 8th ACM international conference on Embedded software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114629826","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
Session details: Scheduling 会话详细信息:
Proceedings of the 8th ACM international conference on Embedded software Pub Date : 2008-10-19 DOI: 10.1145/3260796
D. F. Bacon
{"title":"Session details: Scheduling","authors":"D. F. Bacon","doi":"10.1145/3260796","DOIUrl":"https://doi.org/10.1145/3260796","url":null,"abstract":"","PeriodicalId":130283,"journal":{"name":"Proceedings of the 8th ACM international conference on Embedded software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129889252","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
Session details: Modeling, interfaces, and simulation 会话细节:建模、接口和仿真
Proceedings of the 8th ACM international conference on Embedded software Pub Date : 2008-10-19 DOI: 10.1145/3260794
C. Gill
{"title":"Session details: Modeling, interfaces, and simulation","authors":"C. Gill","doi":"10.1145/3260794","DOIUrl":"https://doi.org/10.1145/3260794","url":null,"abstract":"","PeriodicalId":130283,"journal":{"name":"Proceedings of the 8th ACM international conference on Embedded software","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115414893","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
Session details: Virtual machines, compilers, memory management 会话细节:虚拟机，编译器，内存管理
Proceedings of the 8th ACM international conference on Embedded software Pub Date : 2008-10-19 DOI: 10.1145/3260799
R. Ernst
{"title":"Session details: Virtual machines, compilers, memory management","authors":"R. Ernst","doi":"10.1145/3260799","DOIUrl":"https://doi.org/10.1145/3260799","url":null,"abstract":"","PeriodicalId":130283,"journal":{"name":"Proceedings of the 8th ACM international conference on Embedded software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130073451","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
Session details: Abstraction and verification 会话细节:抽象和验证
Proceedings of the 8th ACM international conference on Embedded software Pub Date : 2008-10-19 DOI: 10.1145/3260792
Luca de Alfaro
{"title":"Session details: Abstraction and verification","authors":"Luca de Alfaro","doi":"10.1145/3260792","DOIUrl":"https://doi.org/10.1145/3260792","url":null,"abstract":"","PeriodicalId":130283,"journal":{"name":"Proceedings of the 8th ACM international conference on Embedded software","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114444259","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学术官方微信