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

Artifact Digital Object Group最新文献

筛选
英文 中文
agda-calf agda-calf
Artifact Digital Object Group Pub Date : 2022-01-10 DOI: 10.1145/3462303
Yue Niu, John Sterling, Harrison Grodin, R. Harper
{"title":"agda-calf","authors":"Yue Niu, John Sterling, Harrison Grodin, R. Harper","doi":"10.1145/3462303","DOIUrl":"https://doi.org/10.1145/3462303","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123722274","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
Artifact for "Relational E-matching" “关系电子匹配”的工件
Artifact Digital Object Group Pub Date : 2022-01-10 DOI: 10.1145/3462311
Yihong Zhang, Y. Wang, Max Willsey, Zach Tatlock
{"title":"Artifact for \"Relational E-matching\"","authors":"Yihong Zhang, Y. Wang, Max Willsey, Zach Tatlock","doi":"10.1145/3462311","DOIUrl":"https://doi.org/10.1145/3462311","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116604430","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: Logarithm and Program Testing 文章复制包:对数和程序测试
Artifact Digital Object Group Pub Date : 2022-01-10 DOI: 10.1145/3462305
Kuen-Bang Hou (Favonia), Zhuyang Wang
{"title":"Replication Package for Article: Logarithm and Program Testing","authors":"Kuen-Bang Hou (Favonia), Zhuyang Wang","doi":"10.1145/3462305","DOIUrl":"https://doi.org/10.1145/3462305","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116414679","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
FairCheck
Artifact Digital Object Group Pub Date : 2022-01-10 DOI: 10.1145/3462304
L. Ciccone, L. Padovani
{"title":"FairCheck","authors":"L. Ciccone, L. Padovani","doi":"10.1145/3462304","DOIUrl":"https://doi.org/10.1145/3462304","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126520770","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
X86_64 Memory Type Tests. X86_64内存类型测试。
Artifact Digital Object Group Pub Date : 2022-01-10 DOI: 10.1145/3462312
Azalea Raad, Luc Maranget, Viktor Vafeiadis
{"title":"X86_64 Memory Type Tests.","authors":"Azalea Raad, Luc Maranget, Viktor Vafeiadis","doi":"10.1145/3462312","DOIUrl":"https://doi.org/10.1145/3462312","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114639408","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
Implementation of the article "DistGNN: scalable distributed training for large-scale graph neural networks" 文章“DistGNN:大规模图神经网络的可扩展分布式训练”的实现
Artifact Digital Object Group Pub Date : 2021-10-25 DOI: 10.1145/3476483
Nesreen Ahmed, Sasikanth Avancha, E. Georganas, A. Heinecke, Dhiraj D. Kalamkar, Guixiang Ma, Vasimuddin Md, Sanchit Misra, Ramanarayan Mohanty
{"title":"Implementation of the article \"DistGNN: scalable distributed training for large-scale graph neural networks\"","authors":"Nesreen Ahmed, Sasikanth Avancha, E. Georganas, A. Heinecke, Dhiraj D. Kalamkar, Guixiang Ma, Vasimuddin Md, Sanchit Misra, Ramanarayan Mohanty","doi":"10.1145/3476483","DOIUrl":"https://doi.org/10.1145/3476483","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125660099","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: FPL: Fast Presburger Arithmetic through Transprecision 复制包的文章:FPL:快速Presburger算术通过透明
Artifact Digital Object Group Pub Date : 2021-10-13 DOI: 10.1145/3462302
Arjun Pitchanathan, Chris Ulmann, Michel Weber, T. Hoefler, T. Grosser
{"title":"Replication Package for Article: FPL: Fast Presburger Arithmetic through Transprecision","authors":"Arjun Pitchanathan, Chris Ulmann, Michel Weber, T. Hoefler, T. Grosser","doi":"10.1145/3462302","DOIUrl":"https://doi.org/10.1145/3462302","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"15 9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124276745","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
Inversion Plugin for the Glasgow Haskell Compiler (GHC) 格拉斯哥Haskell编译器(GHC)的反转插件
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462284
Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg
{"title":"Inversion Plugin for the Glasgow Haskell Compiler (GHC)","authors":"Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg","doi":"10.1145/3462284","DOIUrl":"https://doi.org/10.1145/3462284","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"51 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":"124590978","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
ReqRacer: Dynamic framework for detecting and exposing server-side request races in database-backed web applications ReqRacer:用于在数据库支持的web应用程序中检测和暴露服务器端请求竞争的动态框架
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462295
Zhengyi Qiu, Shudi Shao, Qi Zhao, Guoliang Jin
{"title":"ReqRacer: Dynamic framework for detecting and exposing server-side request races in database-backed web applications","authors":"Zhengyi Qiu, Shudi Shao, Qi Zhao, Guoliang Jin","doi":"10.1145/3462295","DOIUrl":"https://doi.org/10.1145/3462295","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"36 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":"116558643","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
MoD2: Model-guided Deviation Detector MoD2:模型导向偏差检测器
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462289
Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma
{"title":"MoD2: Model-guided Deviation Detector","authors":"Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma","doi":"10.1145/3462289","DOIUrl":"https://doi.org/10.1145/3462289","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"1 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":"130802581","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学术官方微信