吉尔特·詹森
人员信息
其他同名人员
优化列表
2020年–今天
2021 【c9】 鲁奇尔·普里 , 大卫·S·孔 , 吉尔特·詹森 , 张伟(音译) , 贾科莫·多梅尼科尼 , 弗拉基米尔·佐洛托夫 , 朱利安·杜比 , 陈杰(音译) , 米希尔·乔杜里 , 林赛·德克尔 , 维罗尼卡·索斯特 , 卢卡·布拉蒂 , 索拉卜·普贾尔 , 希亚姆·拉姆吉 , 乌尔里希·芬克勒 , 苏珊·马莱卡 , 弗雷德里克·赖斯 :
CodeNet:用于代码数据集的大型AI,用于学习编码任务的多样性。 NeurIPS数据集和基准 2021 [i1] 鲁奇尔·普里 , 大卫·S·孔 , 吉尔特·詹森 , 张伟(音译) , 贾科莫·多梅尼科尼 , 弗拉基米尔·佐洛托夫 , 朱利安·杜比 , 陈杰(音译) , 米希尔·乔杜里 , 林赛·德克尔 , 维罗尼卡·索斯特 , 卢卡·布拉蒂 , 索拉卜·普贾尔 , 乌尔里希·芬克勒 :
Project CodeNet:用于学习编码任务多样性的代码数据集的大型AI。 CoRR公司 腹肌/2105.12655 ( 2021 )
2010 – 2019
2019 【c8】 吉尔特·詹森 , 弗拉基米尔·佐洛托夫 , 董德乐 :
有限GPU内存中的大数据流图。 IEEE大数据 2019 : 1821-1830 2016 [j3] 安查尔·戈亚尔 , 厄诺利·C·阿普利亚 , 吉尔特·詹森 , Younghun Kim(金永勋) , 塔伦·库马尔 , 理查德·米勒 , Dzung Phan公司 , 阿比谢克·拉曼 , 杰罗恩·舒德贝尔 , 熊进军 , Rui Zhang(张瑞) :
使用电网预测和规定分析进行资产健康管理。 IBM J.研究开发。 60 ( 1 ) ( 2016 ) 2013 [注2] 马丁·奥马赫 , 王欣 , 托马斯·古丁 , 本·内森森 , 英迪拉·奈尔 , 吉尔特·詹森 , 马塞尔·沙尔 , 伯克哈德·斯坦马赫·布罗 :
带有推测执行和事务内存的IBM Blue Gene/Q内存子系统。 IBM J.研究开发。 57 ( 1/2 ) : 7 ( 2013 )
2000 – 2009
2009 【c7】 安妮塔·伦古 , Pradip Bose公司 , 丹尼尔·J·索林 , 史蒂文·德文 , 吉尔特·詹森 :
多核电源管理:通过早期正式验证确保稳健性。 记忆码 2009 : 78-87 2008 【c6】 雷纳尔多·A·贝加马斯基 , 韩国玲 , Alper Buyuktosunoglu公司 , 希伦·D·帕特尔 , 英迪拉·奈尔 , 格罗·迪特曼 , 吉尔特·詹森 , 纳古·丹瓦达 , 胡志刚 , Pradip Bose公司 , 约翰·达林格 :
探索多核系统中的电源管理。 ASP-DAC公司 2008 : 708-713 2007 [c5] 雷纳尔多·A·贝加马斯基 , 英迪拉·奈尔 , 格罗·迪特曼 , 希伦·D·帕特尔 , 吉尔特·詹森 , 纳古·丹瓦达 , Alper Buyuktosunoglu公司 , 埃姆拉·阿卡尔 , Gi-Joon南 , 多萝西·库卡尔 , Pradip Bose公司 , 约翰·达林格 , 韩国玲 :
多核系统早期分析的性能建模。 代码+ISSS 2007 : 209-214 2006 【c4】 杰森·鲍姆加特纳 , 哈里·莫尼 , 维雷什·帕鲁西 , 罗伯特·坎泽尔曼 , 吉尔特·詹森 :
跨任意设计转换的可扩展序列等价性检查。 ICCD公司 2006 : 259-266 2003 [j1] 苏哈·哈松 , 吉尔特·杨森 :
第一届CADathlon编程竞赛于2002年ICCAD举行。 IEEE设计。 测试计算。 20 ( 三 ) : 104-107 ( 2003 ) 【c3】 吉尔特·杨森 :
BDD套餐消费者报告。 SBCCI公司 2003 : 217-
1990 – 1999
1998 【c2】 杨碧伦 , 兰达尔·布莱恩特 , 大卫·R·奥哈拉龙 , 阿明·比尔 , 奥利维尔·考德特 , 吉尔特·詹森 , 拉杰夫·兰扬 , 法比奥·萨蒙齐 :
基于BDD的模型检测性能研究。 FMCAD公司 1998 : 255-289 1994 【c1】 C.A.J.van Eijk先生 , 吉尔特·詹森 :
在基于BDD的验证方法中利用结构相似性。 TPCD公司 1994 : 110-125