默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

加布里埃尔·凯勒

加布里埃尔·K·凯勒

>主页 >珀森斯

人员信息

附属： 荷兰乌得勒支大学
附属： 澳大利亚新南威尔士州悉尼新南威尔斯大学
从属关系（1999年博士）： 德国柏林大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/KrijnenCKS24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/KrijnenCKS24
雅科·O·G·克里金,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,沃特·斯威斯特拉:
智能合同的翻译认证。科学。计算。程序。 233:103051(2024)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/AnsariPDKPKD24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/AnsariPDKPKD24
萨巴·戈利扎德·安萨里,I.S.W.B.普拉塞提亚,迈赫迪·达斯坦尼,加布里埃尔·凯勒,大卫·普兰迪,菲萨姆·梅舍沙·基菲特夫（Fitsum Meshesha Kifetew）,弗兰克·迪格纳姆:
PX-MBT：基于模型的玩家体验测试框架。科学。计算。程序。 236:103108(2024)
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/array/WolffK24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/array/WolffK24
伊沃·加贝·德沃尔夫,加布里埃尔·凯勒:
工作辅助：将任务并行工作窃取与数据并行自调度联系起来。 PLDI阵列 2024:13-24
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/europar/WolffAKS24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/europar/WolffAKS24
伊沃·加贝·德沃尔夫,丹尼尔安德森,加布里埃尔·K·凯勒,阿列克塞·塞莱茨基:
一种快速无等待解决参考计数中的读-重述种族问题的方法。 Euro-Par（3） 2024:103-118
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/AnsariPDK24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/AnsariPDDK24
萨巴·戈利扎德·安萨里,I.S.W.B.普拉塞提亚,迈赫迪·达斯坦尼,弗兰克·迪格纳姆,加布里埃尔·凯勒:
EmoSTL：电脑游戏中情绪规范的正式时空验证。 ICST公司 2024:13-24
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popp/WolffBKM24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popp/WolffBKM24
伊沃·加贝·德沃尔夫,大卫·范·巴伦,加布里埃尔·K·凯勒,特雷弗·L·麦克唐纳:
多核CPU的零开销并行扫描。 PMAM@PPoPP项目 2024:52-61
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tyde/Keller公司24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tyde/Keller24
加布里埃尔·凯勒:
正确性、便利性和性能的类型（注释记号）。泰德@ICFP 2024:1
[电子5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/2024
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/2024
加布里埃尔·凯勒,孟旺（Meng Wang）:
2024年ACM SIGPLAN部分评估和程序操作国际研讨会会议记录，PEPM 2024，英国伦敦，2024年1月16日。 ACM公司 2024 [目录]
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2407-13585
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2407-13585
大卫·范巴伦,加布里埃尔·凯勒,伊沃·加贝·德沃尔夫,特雷弗·L·麦克唐纳:
用整数线性规划融合聚集。 CoRR公司 abs/2407.13585(2024)
2023
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/ChenLOKMJR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ChenLOKMJR23
陈子林,安布罗西·拉丰,利亚姆·奥康纳,加布里埃尔·凯勒,克雷格·麦克劳林,文森特·杰克逊,克里斯汀·里兹卡拉:
Dargent：经过验证的数据布局优化的银弹。程序。ACM计划。语言。 7(POPL公司):1369-1395(2023)
[公元41年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/AnsariPPKDDK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/AnsariPPKDDK23
萨巴·戈利扎德·安萨里,I.S.W.B.普拉塞提亚,大卫·普兰迪,菲萨姆·梅舍沙·基菲特夫（Fitsum Meshesha Kifetew）,迈赫迪·达斯坦尼,弗兰克·迪格纳姆,加布里埃尔·凯勒:
基于模型的玩家体验测试和情感模式验证。 FASE公司 2023:151-172
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/2023fhpnc
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/2023fhpnc
加布里埃尔·凯勒,萨姆·韦斯特里克:
第11届ACM SIGPLAN功能高性能和数值计算国际研讨会会议记录，FHPNC 2023，西雅图，华盛顿州，美国，2023年9月4日。 ACM公司 2023 [目录]
2022
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/KrijnenCKS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/KrijnenCKS22
雅科·O·G·克里金,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,沃特·斯威斯特拉:
智能合同翻译认证。 FLOPS（浮动） 2022:94-111
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/McDonellMK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/McDonellMK22
特雷弗·L·麦克唐纳,约书亚·D·梅雷迪斯,加布里埃尔·凯勒:
嵌入式模式匹配。哈斯克尔 2022:123-136
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sle/ChenROSKHK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sle/ChenROSKHK22
陈子林,克里斯汀·里兹卡拉,利亚姆·奥康纳,帕塔·苏萨拉,格温·克莱因,格诺·海泽,加布里埃尔·凯勒:
基于属性的测试：爬上验证的阶梯。 SLE公司 2022:84-97
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2201-04919
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2201-04919
雅科·O·G·克里金,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,沃特·斯威斯特拉:
智能合同翻译认证。 CoRR公司腹肌/2201.04919(2022)
2021
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/OConnorCRJAKMSK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/OConnorCRJAKMSK21
利亚姆·奥康纳,陈子林,克里斯汀·里兹卡拉,文森特·杰克逊,西德尼·阿曼尼,格温·克莱因,托比·默里,托马斯·苏厄尔,加布里埃尔·凯勒:
Cogent：唯一性类型和认证编译。 J.功能。程序。 31:第25页(2021)
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emas/AnsariPDDK21会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emas/AnsariPDDK21
萨巴·戈利扎德·安萨里,I.S.W.B.普拉塞提亚,迈赫迪·达斯坦尼,弗兰克·迪格纳姆,加布里埃尔·凯勒:
基于代理的玩家体验测试中事件驱动情绪的评估转换系统。 EMAS@AAMAS 2021:156-174
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/Sirzadehhajimahmood21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/Sirzadehajimahmood21
萨米拉·希尔扎德哈吉马哈茂德,I.S.W.B.普拉塞提亚,弗兰克·迪格纳姆,迈赫迪·达斯坦尼,加布里埃尔·凯勒:
使用基于代理的方法对电脑游戏进行稳健的自动测试。 ESEC的A-TEST测试/SIGSOFT FSE公司 2021:1-8
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/2021phpnc文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/2021fhpnc
加布里埃尔·凯勒,特洛伊尔斯·亨利克森:
FHPNC 2021：第九届ACM SIGPLAN功能高性能和数值计算国际研讨会会议记录，FHPNC@ICFP2021年，虚拟活动，韩国，2021年8月22日。 ACM公司 2021，国际标准图书编号978-1-4503-8614-2 [目录]
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-05589
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-05589
萨巴·戈利扎德·安萨里,I.S.W.B.普拉塞提亚,迈赫迪·达斯坦尼,弗兰克·迪格纳姆,加布里埃尔·凯勒:
基于代理的玩家体验测试中事件驱动情绪的评估转换系统。 CoRR公司 abs/2105.05589(2021)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2108-13114
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2108-13114
特雷弗·L·麦克唐纳,约书亚·D·梅雷迪斯,加布里埃尔·凯勒:
嵌入式模式匹配。 CoRR公司 abs/2108.13114(2021)
2020
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcas/WijenayakeAKI20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcas/WijenayakeAKI20
查米斯·维杰纳亚克,阿米尔·安东尼尔,加布里埃尔·凯勒,阿列克桑达尔·伊根亚托维奇:
一种改进频率估计和跟踪的自适应去噪算法。 IEEE传输。电路系统。II快速简报第67页-第II页(1):172-176(2020)
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/europar/HaakMKW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/europar/HaakMKW20
拉尔斯·范登·哈克,特雷弗·L·麦克唐纳,加布里埃尔·K·凯勒,伊沃·加贝·德沃尔夫:
加快嵌套数据并行性：保持规则性。欧洲-保时捷 2020:426-442

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigpro/WijenayakeIK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigpro/WijenayakeIK19
查米斯·维杰纳亚克,阿列克桑达尔·伊根亚托维奇,加布里埃尔·凯勒:
从纯定时信息重建带限信号。信号处理。 159:89-92(2019)
2018
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/KellerH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/KellerH18
加布里埃尔·凯勒,弗里茨·亨利恩:
并行和并发函数编程专刊编辑。 J.功能。程序。 28:电子6(2018)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tsp/IgnjatovicWK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tsp/IgnjatovicWK18
阿列克桑达尔·伊根亚托维奇,查米斯·维杰纳亚克,加布里埃尔·凯勒:
实践中的色导数和近似——第一部分：一般框架。 IEEE传输。信号处理。 66(6):1498-1512(2018)
[j4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tsp/IgnjatovicWK18a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tsp/IgnjatovicWK18a
阿列克桑达尔·伊根亚托维奇,查米斯·维杰纳亚克,加布里埃尔·凯勒:
实际中的色导数和近似——第二部分：非均匀采样、过零重构和去噪。 IEEE传输。信号处理。 66(6):1513-1525(2018)
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/OConnorCSRKK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/OConnorCSRKK18
利亚姆·奥康纳,陈子林,帕塔·苏萨拉,克里斯汀·里兹卡拉,格温·克莱因,加布里埃尔·凯勒:
为Cogent带来轻松的数据布局优化。 ISoLA（1） 2018:134-149
2017
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/Clifton-Everest17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/Clifton-Everest17
罗伯特·克利夫顿珠穆朗玛峰,特雷弗·L·麦克唐纳,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
流式处理不规则阵列。哈斯克尔 2017:174-185
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sosp/ChenOKKH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sosp/ChenOKKH17
陈子林,利亚姆·奥康纳,加布里埃尔·凯勒,格温·克莱因,格诺·海泽:
基于属性的测试的令人信服的案例。公共后勤服务@SOSP 2017:1-7
2016
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asplos/AmaniHCRCOBNLST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asplos/AmaniHCRCOBNLST16
西德尼·阿曼尼,亚历克斯·希克逊,陈子林,克里斯汀·里兹卡拉,彼得·丘布,利亚姆·奥康纳,乔尔·比伦,永岛Yutaka Nagashima,贾菲斯·林,托马斯·苏厄尔,Joseph Tuong先生,加布里埃尔·凯勒,托比·C·穆雷,格温·克莱因,格诺·海泽:
CoGENT：验证高保证文件系统实现。 ASPLOS公司 2016:175-188
[c30]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/RizkallahLNSCOM16公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/RizkallahLNSCOM16
克里斯汀·里兹卡拉,贾菲斯·林,永岛Yutaka Nagashima,托马斯·苏厄尔,陈子林,利亚姆·奥康纳,托比·C·默里,加布里埃尔·凯勒,格温·克莱因:
从Cogent到C的求精的自动形式验证框架。 ITP公司 2016:323-340
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/2016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/2016
雅克·加里格,加布里埃尔·凯勒,Eijiro Sumii公司:
第21届ACM SIGPLAN功能编程国际会议记录，2016年ICFP，日本奈良，2016年9月18-22日。 ACM公司 2016，国际标准图书编号978-1-4503-4219-3 [目录]
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/OConnorRCALNSHK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/OConnorRCALNSHK16
利亚姆·奥康纳,克里斯汀·里兹卡拉,陈子林,西德尼·阿曼尼,贾菲斯·林,永岛Yutaka Nagashima,托马斯·苏厄尔,亚历克斯·希克逊,加布里埃尔·凯勒,托比·C·穆雷,格温·克莱因:
COGENT：功能系统语言的认证编译。 CoRR公司 abs/1601.05520(2016)
2015
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/MadsenCCK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/MadsenCCK15
弗雷德里克·马德森,罗伯特·克利夫顿-万岁,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
功能阵列流。 FHPC@ICFP 2015:23-34
2014
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigops/KellerMAOCRKH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigops/KellerMAOCRKH14
加布里埃尔·凯勒,托比·C·穆雷,西德尼·阿曼尼,利亚姆·奥康纳,陈子林,列奥尼德·雷日克,格温·克莱因,格诺·海泽:
文件系统也值得验证！ ACM SIGOPS操作。系统。版次。 48(1):58-64(2014)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/罗宾逊LK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/罗宾逊LK14
阿莫斯·罗宾逊,本·利普梅耶,加布里埃尔·凯勒:
用整数线性规划融合滤波器。 FHPC@ICFP 2014:53-62
[c27]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Clifton-EverestMCK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Clifton-EverestMCK14网站
罗伯特·克利夫顿-万岁,特雷弗·麦克唐奈,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
嵌入外来代码。 PADL（PADL） 2014:136-151
2013
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/LippmeierCKR13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/LippmeierCKR13
本·利普梅耶,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,阿莫斯·罗宾逊:
Haskell中使用系列表达式的数据流融合。哈斯克尔 2013:93-104
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/McDonellCKL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/McDonellCKL13
特雷弗·L·麦克唐纳,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,本·利普梅耶:
优化纯功能GPU程序。 ICFP公司 2013:49-60
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sosp/KellerMAOCRKH13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sosp/KellerMAOCRKH13网站
加布里埃尔·凯勒,托比·C·穆雷,西德尼·阿曼尼,利亚姆·奥康纳,陈子琳,列奥尼德·雷日克,格温·克莱因,格诺·海泽:
文件系统也值得验证！公共后勤服务@SOSP 2013:1:1-1:7
2012
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/LippmeierCKJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/LippmeierCKJ12
本·利普梅耶,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,西蒙·佩顿·琼斯:
使用索引类型指导并行阵列融合。哈斯克尔 2012:25-36
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/KellerCLLJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/KellerCLLJ12
加布里埃尔·凯勒,曼努埃尔·M·T·查克拉瓦蒂,罗曼·莱斯钦斯基,本·利普梅耶,西蒙·佩顿·琼斯:
矢量化避免。哈斯克尔 2012:37-48
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/LippmeierCKLJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/LippmeierCKLJ12
本·利普梅耶,曼努埃尔·查克拉瓦蒂,加布里埃尔·凯勒,罗曼·莱斯钦斯基,西蒙·佩顿·琼斯:
高效的高阶矢量化。 ICFP公司 2012:259-270
2011
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/LippmeerK11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/LippmeierK11
本·利普梅耶,加布里埃尔·凯勒:
Haskell中的高效并行模板卷积。哈斯克尔 2011:59-70
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ChakravartyKLMG11会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChakravartyKLMG11
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,肖恩·李,特雷弗·L·麦克唐纳,维诺德·格罗弗:
使用多核GPU加速Haskell阵列代码。 DAMP公司 2011:3-14
2010
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/KellerCLJL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/KellerCLJL10
加布里埃尔·凯勒,曼努埃尔·M·T·查克拉瓦蒂,罗曼·莱斯钦斯基,西蒙·佩顿·琼斯,本·利普梅耶:
Haskell中的规则形状多态并行数组。 ICFP公司 2010:261-272

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
[c17]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/JonesLKC08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/JonesLKC08
西蒙·L·佩顿·琼斯,罗曼·莱斯钦斯基,加布里埃尔·凯勒,曼努埃尔·M·T·查克拉瓦蒂:
利用多核：Haskell中的嵌套数据并行。 FSTTCS公司 2008:383-414
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Keller公司CCSB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/KellerCCSB08
加布里埃尔·凯勒,休·查菲·米勒,曼努埃尔·M·T·查克拉瓦蒂,人斯徒瓦特,克里斯托弗·巴纳·科沃尔利克:
高性能蒙特卡罗方法专用模拟器生成器。 PADL（PADL） 2008:116-132
2007
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ChakravartyLJKM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChakravartyLJKM07
曼努埃尔·M·T·查克拉瓦蒂,罗曼·莱斯钦斯基,西蒙·佩顿·琼斯,加布里埃尔·凯勒,西蒙·马洛:
数据并行Haskell：状态报告。 DAMP公司 2007:10-18
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DreyerHCK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DreyerHCK07
德里克·德雷尔,罗伯·哈波,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
模块化类型类别。 POPL公司 2007:63-70
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/2007
加布里埃尔·凯勒:
ACM SIGPLAN Haskell研讨会会议记录，Haskell2007，德国弗莱堡，2007年9月30日。 ACM公司 2007，国际标准图书编号978-1-59593-674-5 [目录]
2006
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/iccS/LeshchinskiyCK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccS/LeshchinskiyCK06
罗曼·莱斯钦斯基,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
高阶展平。国际计算科学会议（2） 2006:920-928
2005
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/ChakravartyKJ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/ChakravartyKJ05
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,西蒙·佩顿·琼斯:
关联的类型同义词。 ICFP公司 2005:241-253
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ChakravartyKJM05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChakravartyKJM05
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,西蒙·L·佩顿·琼斯,西蒙·马洛:
与类关联的类型。 POPL公司 2005:1-13
2004
【b2】
- 看法
  - 电子版@pearson-studium.de
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0011151
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/011151
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
Einführung在Haskell的Programmierung中。皮尔逊工作室 2004，国际标准图书编号978-3-8273-7137-9，第1-199页
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/ChakravartyK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/ChakravartyK04
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
第一年教授纯函数编程的风险和好处。 J.功能。程序。 14(1):113-123(2004)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/见friedCK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/SeefriedCK04
肖恩·西弗里德,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
使用模板Haskell优化嵌入式DSL。 GPCE公司 2004:186-205
2003
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/ChakravartyKZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ChakravartyKZ03
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒,帕特里克·扎达诺夫斯基:
SSA优化算法的功能观点。 COCV@ETAPS 2003:347-361
2002
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ppl/LechtchinskyCK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ppl/LechtchinskyCK02
罗曼·莱赫钦斯基,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
嵌套数组代码的成本计算。并行过程。莱特。 12(2):249-266(2002)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/afp/ChakravartyK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/afp/ChakravartyK02
曼努埃尔·查克拉瓦蒂,加布里埃尔·凯勒:
Haskell中的快速阵列方法。高级函数编程 2002:27-58
2001
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/europar/ChakravartyKLP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/europar/ChakravartyKLP01
曼努埃尔·查克拉瓦蒂,加布里埃尔·凯勒,罗曼·莱赫钦斯基,沃尔夫·普凡纳斯蒂尔:
尼泊尔-Haskell中的嵌套数据并行性。欧洲-保时捷 2001:524-534
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/ChakravartyK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/ChakravartyK01
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
功能阵列融合。 ICFP公司 2001:205-216
2000
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/ChakravartyK00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/ChakravartyK00
曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
用于嵌套数据并行编程的更多类型。 ICFP公司 2000:94-105

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【b1】
- 看法
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 博士/博士/凯勒99a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/凯勒99a
加布里埃尔·凯勒:
分布式内存机器中基于转换的嵌套数据并行实现。德国柏林技术大学，1999，第1-161页
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ipps/KellerC99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipps/KellerC99
加布里埃尔·凯勒,曼努埃尔·M·T·查克拉瓦蒂:
通过程序转换实现聚合数据结构的分布。 IPPS/SDP研讨会 1999:108-122
1998
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/europar/KellerC98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/europar/KellerC98
加布里埃尔·凯勒,曼努埃尔·M·T·查克拉瓦蒂:
压扁树木。欧洲-保时捷 1998:709-719
1997
[c2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apdc/AuCDGJKKPS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apdc/AuCDGJKKPS97
K.T.P.金,曼努埃尔·M·T·查克拉瓦蒂,约翰·达林顿,郭一科,斯特凡·耶尼琴,马丁·科勒,加布里埃尔·凯勒,沃尔夫·普凡纳斯蒂尔,马丁·西蒙斯:
扩大基于矢量的计算范围：通过嵌套数据并行性扩展Fortran 90。 APDC公司 1997:66-73
1996
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/亚洲/KellerS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asian/KellerS96
加布里埃尔·凯勒,马丁·西蒙斯:
函数语言中扁平化嵌套数据并行性的计算方法。亚洲的 1996:234-243

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。