×

找到10个文档(结果1-10)

使用约束求解器优化声明式并行分布图处理。 (英语) Zbl 1507.68077号

Gallagher,John P.(编辑)等人,《函数和逻辑编程》。2018年5月9日至11日在日本名古屋举行的2018年FLOPS第14届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10818, 166-181 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生成、测试和聚合。使用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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树上的第三个同态定理:向下和向上导致分裂和征服。 (英语) Zbl 1315.68067号

2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。177-185 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

融合嵌入式骨架库。 (英语) 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格式引用
全文: 内政部

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格式引用
全文: 内政部

无迭代程序分析。 (英语) Zbl 1315.68042号

第八届ACM SIGPLAN功能编程国际会议记录,ICFP'03,乌普萨拉,瑞典,2003年8月25-29日。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-756-7)。ACM SIGPLAN通知38,第9号,111-123(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

所有人的累积平行骨架。 (英语) 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格式引用
全文: 链接

通过融合和元组化实现模块化程序派生。 (英语) Zbl 1028.68706号

Batory,Don(编辑)等人,《生成编程和组件工程》,ACM SIGPLAN/SIGSOFT会议,2002年GPCE,宾夕法尼亚州匹兹堡,美国,2002年10月6-8日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2487, 140-155 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段