赤马森田;肯托·埃莫托;Kiminori松崎;胡镇江;岩崎、秀霞 使用约束求解器优化声明式并行分布图处理。 (英语) Zbl 1507.68077号 Gallagher,John P.(编辑)等人,《函数和逻辑编程》。2018年5月9日至11日在日本名古屋举行的2018年FLOPS第14届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10818, 166-181 (2018).MSC公司:第68页第19页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Morihata}等人,Lect。注释计算。科学。10818、166--181(2018;Zbl 1507.68077) 全文: 内政部
肯托·埃莫托;塞巴斯蒂安·费舍尔;胡镇江 生成、测试和聚合。使用MapReduce进行系统并行编程的基于计算的框架。 (英语) Zbl 1352.68051号 Seidl,Helmut(编辑),《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会(ESOP 2012)是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28868-5/pbk)。计算机科学讲义7211,254-273(2012)。MSC公司:第68页第19页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Emoto}等人,Lect。注释计算。科学。7211,254--273(2012;Zbl 1352.68051) 全文: 内政部
赤马森田;Kiminori松崎;胡镇江;Masato Takeichi 树上的第三个同态定理:向下和向上导致分裂和征服。 (英语) Zbl 1315.68067号 2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。177-185 (2009).MSC公司:第68页第19页 68甲18 68第05页 第68季度25 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.Morihata}等人,in:第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机协会(ACM)。177--185(2009年;Zbl 1315.68067) 全文: 内政部
肯托·埃莫托;胡镇江;Kakehi、Kazuhiko;Masato Takeichi 在二维数组上开发并行程序的组合框架。 (英语) Zbl 1125.68036号 国际J并行程序。 35,第6号,615-658(2007).MSC公司:第68页第19页 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{K.Emoto}等人,《国际并行程序》。35,第6号,615--658(2007;Zbl 1125.68036) 全文: 内政部
Kiminori松崎;Kakehi、Kazuhiko;岩崎、秀霞;胡镇江;吉木明志 融合嵌入式骨架库。 (英语) Zbl 1096.68586号 Danalotto,Marco(编辑)等人,《2004年欧洲药典》,并行处理。2004年8月31日至9月3日在意大利比萨举行的第十届国际欧巴会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22924-8/pbk)。计算机科学课堂讲稿3149644-653(2004)。MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{K.Matsuzaki}等人,Lect。注释计算。科学。3149644--653(2004年;Zbl 1096.68586) 全文: 内政部
Xu,Dana N。;邱小成;胡镇江 PType系统:轻量级并行化检测器。 (英语) Zbl 1116.68389号 Chin,Wei-Ngan(编辑),《编程语言和系统》。第二届亚洲研讨会,2004年APLAS,台湾台北,2004年11月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23724-0/pbk)。计算机科学课堂讲稿3302197-212(2004)。MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Xu}等人,Lect。注释计算。科学。3302197--212(2004年;Zbl 1116.68389) 全文: 内政部
岩崎、秀霞;胡镇江 一种新的通用累加计算并行框架。 (英语) Zbl 1079.68018号 国际J并行程序。 32,第5号,389-414(2004).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{H.Iwasaki}和\textit{Z.Hu},国际J.并行程序。32,第5号,389--414(2004;Zbl 1079.68018) 全文: 内政部
小川,水井裕人;胡镇江;伊索·萨萨诺 无迭代程序分析。 (英语) Zbl 1315.68042号 第八届ACM SIGPLAN功能编程国际会议记录,ICFP'03,乌普萨拉,瑞典,2003年8月25-29日。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-756-7)。ACM SIGPLAN通知38,第9号,111-123(2003)。MSC公司:68甲15 第68页第19页 05二氧化碳 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{M.Ogawa}等人,《第八届ACM SIGPLAN函数编程国际会议论文集》,ICFP'03,瑞典乌普萨拉,2003年8月25-29日。纽约州纽约市:计算机协会(ACM)。111-123(2003;Zbl 1315.68042) 全文: 内政部
胡镇江;岩崎、秀霞;Masato Takeichi 所有人的累积平行骨架。 (英语) Zbl 1077.68583号 Le Métayer,Daniel(编辑),《编程语言和系统》。2002年4月8日至12日,在法国格勒诺布尔举行的第11届欧洲编程研讨会,ESOP 2002,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43363-5)。莱克特。注释计算。科学。2305, 83-97 (2002).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hu}等人,Lect。注释计算。科学。2305、83--97(2002年;Zbl 1077.68583) 全文: 链接
魏恩根·钦;胡镇江 通过融合和元组化实现模块化程序派生。 (英语) Zbl 1028.68706号 Batory,Don(编辑)等人,《生成编程和组件工程》,ACM SIGPLAN/SIGSOFT会议,2002年GPCE,宾夕法尼亚州匹兹堡,美国,2002年10月6-8日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2487, 140-155 (2002).MSC公司:68单位99 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{W.-N.Chin}和\textit{Z.Hu},Lect。注释计算。科学。24871940-155(2002年;兹bl 1028.68706) 全文: 链接