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

Artifact Digital Object Group最新文献

筛选
英文 中文
Artifact for Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic 钢的工件:依赖类型并发分离逻辑中面向证明的编程
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462300
Aymeric Fromherz, Aseem Rastogi, N. Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, T. Ramananandro
{"title":"Artifact for Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic","authors":"Aymeric Fromherz, Aseem Rastogi, N. Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, T. Ramananandro","doi":"10.1145/3462300","DOIUrl":"https://doi.org/10.1145/3462300","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129979374","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
rearrange 重新排列
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462283
Finnbar Keating, Michael B. Gale
{"title":"rearrange","authors":"Finnbar Keating, Michael B. Gale","doi":"10.1145/3462283","DOIUrl":"https://doi.org/10.1145/3462283","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"46 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116390964","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
Chesskell
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462287
Toby Bailey, Michael B. Gale
{"title":"Chesskell","authors":"Toby Bailey, Michael B. Gale","doi":"10.1145/3462287","DOIUrl":"https://doi.org/10.1145/3462287","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"167 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131411726","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
Artifact for article: Probabilistic Delta Debugging 文章的工件:概率增量调试
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462290
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang
{"title":"Artifact for article: Probabilistic Delta Debugging","authors":"Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang","doi":"10.1145/3462290","DOIUrl":"https://doi.org/10.1145/3462290","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125342362","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
Source Code and Case Studies for Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations Scooter & Sidecar的源代码和案例研究:编写安全数据库迁移的特定领域方法
Artifact Digital Object Group Pub Date : 2021-06-20 DOI: 10.1145/3462277
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, D. Stefan
{"title":"Source Code and Case Studies for Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations","authors":"John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, D. Stefan","doi":"10.1145/3462277","DOIUrl":"https://doi.org/10.1145/3462277","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125436452","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
Replication Package for ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen Xen上基于arinc653的基于规则的资源分区的复制包
Artifact Digital Object Group Pub Date : 2021-06-17 DOI: 10.1145/3462281
Pavan Kumar Paluri, Guangli Dai, A. Cheng
{"title":"Replication Package for ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen","authors":"Pavan Kumar Paluri, Guangli Dai, A. Cheng","doi":"10.1145/3462281","DOIUrl":"https://doi.org/10.1145/3462281","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"342 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115674603","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
Static Control-Flow Analyzers for the Article: Trace-Based Control-Flow Analysis 静态控制流分析仪:基于跟踪的控制流分析
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410288
Benoît Montagu, T. Jensen
{"title":"Static Control-Flow Analyzers for the Article: Trace-Based Control-Flow Analysis","authors":"Benoît Montagu, T. Jensen","doi":"10.1145/3410288","DOIUrl":"https://doi.org/10.1145/3410288","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122049154","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
Replication Package for Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts 用于在共享线程上频繁后台轮询的复制包，使用轻量级编译器中断
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410311
Nilanjana Basu, Claudio Montanari, Jakob Eriksson
{"title":"Replication Package for Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts","authors":"Nilanjana Basu, Claudio Montanari, Jakob Eriksson","doi":"10.1145/3410311","DOIUrl":"https://doi.org/10.1145/3410311","url":null,"abstract":"Recent work in networking, storage and multi-threading has demonstrated improved performance and scalability by replacing kernel-mode interrupts with high-rate user-space polling. Typically, such polling is performed by a dedicated core. Compiler Interrupts (CIs) instead enable efficient, automatic high-rate polling on a shared thread, which performs other work between polls. CIs are instrumentation-based and light-weight, allowing frequent interrupts with little performance impact. For example, when targeting a 5,000 cycle interval, the median overhead of our fastest CI design is 4% vs. 800% for hardware interrupts, across programs in the SPLASH-2, Phoenix and Parsec benchmark suites running with 32 threads. We evaluate CIs on three systems-level applications: (a) kernel bypass networking withmTCP, (b) joint kernel bypass networking and CPU scheduling with Shenango, and (c) delegation, a message-passing alternative to locking, with FFWD. For each application, we find that CIs offer compelling qualitative and quantitative improvements over the current state of the art. For example, CI-based mTCP achieves ≈2× stock mTCP throughput on a sample HTTP application. CCS Concepts: · General and reference → General conference proceedings; Empirical studies; ·Computingmethodologies→ Concurrent programming languages; Parallel programming languages.","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121551508","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
Replication Package for Article: Integration Verification across Software and Hardware for a Simple Embedded System 文章复制包:一个简单嵌入式系统的跨软件和硬件集成验证
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410295
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, A. Chlipala
{"title":"Replication Package for Article: Integration Verification across Software and Hardware for a Simple Embedded System","authors":"Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, A. Chlipala","doi":"10.1145/3410295","DOIUrl":"https://doi.org/10.1145/3410295","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121576955","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}
引用次数: 16
Replication Package for Article: Provable Repair of Deep Neural Networks 文章的复制包:深度神经网络的可证明修复
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410294
Matthew Sotoudeh, Aditya V. Thakur
{"title":"Replication Package for Article: Provable Repair of Deep Neural Networks","authors":"Matthew Sotoudeh, Aditya V. Thakur","doi":"10.1145/3410294","DOIUrl":"https://doi.org/10.1145/3410294","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133107512","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学术官方微信