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

International Conference on Compiler Construction最新文献

筛选
英文 中文
C. Grappe et A. Marx의 Sacrifice scandaleux? 서평 C.Grappe 和 A.马克思의 岂有此理的牺牲？서평
International Conference on Compiler Construction Pub Date : 2011-10-31 DOI: 10.31280/CC.2011.10.5.2.281
김선종
{"title":"C. Grappe et A. Marx의 Sacrifice scandaleux? 서평","authors":"김선종","doi":"10.31280/CC.2011.10.5.2.281","DOIUrl":"https://doi.org/10.31280/CC.2011.10.5.2.281","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"8 Suppl 11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134420174","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
Zion’s Torah in Isaiah 2:2-4 锡安律法在以赛亚书2:2-4
International Conference on Compiler Construction Pub Date : 2011-04-30 DOI: 10.31280/CC.2011.04.5.1.145
S. Jang
{"title":"Zion’s Torah in Isaiah 2:2-4","authors":"S. Jang","doi":"10.31280/CC.2011.04.5.1.145","DOIUrl":"https://doi.org/10.31280/CC.2011.04.5.1.145","url":null,"abstract":"본 논문은 이사야서의 최종 형태의 맥락에서 이사야 2:2-4의 역할에 초점을 둔다. 이사야 2:2-4은 후속 단락들과의 구조적 연관성뿐만 아니라 선행 단락인 이사야 1장과도 긴밀한 연관성을 갖는다. 예를 들면, 이사야 2:1의 표제는 이사야 1:1의 표제와의 연관성 속에서 이해할 수 있다. 흥미롭게도 이사야 2:1의 표제가 이사야 2-12장이라는 독립 단위를 이끄는 역할을 수행하고 있지만, 이사야 1:1의 표제를 연상시키는 것도 사실이다. 이사야 1:1은 이사야가 보았던 “계시”(‘!Azx])로 소개되는 반면, 이사야 2:1은 이사야가 “보았던 그 말씀”(hz\"ex\" rv<aa] ‘rb\"D\"h;)으로 간주된다. 흥미롭게도 이사야 1:1과 이사야 2:1은 “보았다”라는 의미의 명사와 동사를 함께 사용하여 표제의 상호 연관성을 시사해 준다. 나아가 이 표제의 상호 연관성은 이사야 1:1에 소개된 이사야의 계시가 이사야 1:1에 언급된 8세기 왕들의 시대뿐만 아니라 이사야 2:1에 묘사된 종말의 시대를 포괄하고 있음을 의미한다. 더욱이 이사야 1장과 이사야 2:2-4은 듣지 않는 시온에서 듣는 시온으로의 전환을 보여준다. 이와 같은 “들음”의 중요성은 이사야서의 서론과 결론으로 작용하는 이사야 1장과 65-66장, 그리고 이사야서의 전반부와 후반부를 이어주는 이사야 36-39장 속에서도 동일하게 강조되며, 전체 이사야서의 의도를 반영해 준다.","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133501256","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
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL 基于OpenCL的异构系统静态任务划分方法
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_16
Dominik Grewe, M. O’Boyle
{"title":"A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL","authors":"Dominik Grewe, M. O’Boyle","doi":"10.1007/978-3-642-19861-8_16","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_16","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122259230","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}
引用次数: 227
Using Disjoint Reachability for Parallelization 利用不相交可达性实现并行化
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_12
J. Jenista, Y. Eom, Brian Demsky
{"title":"Using Disjoint Reachability for Parallelization","authors":"J. Jenista, Y. Eom, Brian Demsky","doi":"10.1007/978-3-642-19861-8_12","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_12","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123552057","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}
引用次数: 6
SSA-Based Register Allocation with PBQP 基于ssa的PBQP寄存器分配
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_4
Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch
{"title":"SSA-Based Register Allocation with PBQP","authors":"Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch","doi":"10.1007/978-3-642-19861-8_4","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_4","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129900772","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}
引用次数: 7
Tainted Flow Analysis on e-SSA-Form Programs 电子ssa表格程序的污染流分析
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_8
A. Rimsa, Marcelo d’Amorim, Fernando Magno Quintão Pereira
{"title":"Tainted Flow Analysis on e-SSA-Form Programs","authors":"A. Rimsa, Marcelo d’Amorim, Fernando Magno Quintão Pereira","doi":"10.1007/978-3-642-19861-8_8","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_8","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124336375","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
JPure: A Modular Purity System for Java JPure: Java的模块化纯度系统
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_7
David J. Pearce
{"title":"JPure: A Modular Purity System for Java","authors":"David J. Pearce","doi":"10.1007/978-3-642-19861-8_7","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_7","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121230640","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}
引用次数: 45
Future-Proofing Collections: From Mutable to Persistent to Parallel 面向未来的集合:从可变到持久到并行
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_1
Martin Odersky
{"title":"Future-Proofing Collections: From Mutable to Persistent to Parallel","authors":"Martin Odersky","doi":"10.1007/978-3-642-19861-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_1","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"289 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122811968","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}
引用次数: 6
Dynamic Elimination of Overflow Tests in a Trace Compiler 动态消除跟踪编译器中的溢出测试
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_2
Rodrigo Sol, C. Guillon, Fernando Magno Quintão Pereira, Mariza Bigonha
{"title":"Dynamic Elimination of Overflow Tests in a Trace Compiler","authors":"Rodrigo Sol, C. Guillon, Fernando Magno Quintão Pereira, Mariza Bigonha","doi":"10.1007/978-3-642-19861-8_2","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_2","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128376544","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}
引用次数: 24
Subregion Analysis and Bounds Check Elimination for High Level Arrays 高阶阵列的子区域分析与边界检查消除
International Conference on Compiler Construction Pub Date : 2011-03-26 DOI: 10.1007/978-3-642-19861-8_14
Mackale Joyner, Zoran Budimlic, Vivek Sarkar
{"title":"Subregion Analysis and Bounds Check Elimination for High Level Arrays","authors":"Mackale Joyner, Zoran Budimlic, Vivek Sarkar","doi":"10.1007/978-3-642-19861-8_14","DOIUrl":"https://doi.org/10.1007/978-3-642-19861-8_14","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124642990","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学术文献互助群
群 号：604180095
Book学术官方微信