尼拉夫·戴夫
人员信息
附属: 谷歌 隶属关系(前): 美国加利福尼亚州门罗公园SRI国际 隶属关系(前): 美国马萨诸塞州剑桥市麻省理工学院
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元22年] 罗一轩 , Cheng Tan公司 , 尼古拉斯·博姆·阿戈斯蒂尼 , 李安(Ang Li) , 安东尼诺·图米奥 , 尼拉夫·戴夫 , 童耕 :
ML-CGRA:在CGRA上实现高效机器学习加速的集成编译框架。 数模转换器 2023 : 1-6
2010 – 2019
2016 [j1] 罗伯特·N·M·沃森 , 罗伯特·M·诺顿 , 乔纳森·伍德拉夫 , 西蒙·摩尔 , 彼得·G·诺依曼 , 安德森 , 大卫·奇斯纳尔 , 布鲁克斯·戴维斯 , 本·劳里 , 迈克尔·罗伊 , 尼拉夫·戴夫 , 希兰·古德卡 , 亚历山大·乔安诺 , A.西奥多·Markettos , 埃德·马斯特 , 史蒂文·默多克 , 科林·罗思韦尔 , 斯泰西·D·儿子 , 穆拉吉·瓦德拉 :
CHERI能力系统架构中的快速保护域交叉。 IEEE微型 36 ( 5 ) : 38-49 ( 2016 ) 2015 【c21】 韩钟勋 , Prashanth Mundkur公司 , 查拉兰波斯·罗索斯 , 吉安尼·安蒂奇 , 尼拉夫·戴夫 , 安德鲁·威廉·摩尔 , 彼得·G·诺依曼 :
Blueswitch:支持网络交换机的可靠一致配置。 ANCS公司 2015 : 17-27 [公元20年] 穆拉利达兰·维贾亚拉哈万 , 亚当·克利帕拉 , 阿尔文德 , 尼拉夫·戴夫 :
多处理器硬件设计的模块演绎验证。 卡瓦(2) 2015 : 109-127 [第19条] 罗伯特·N·M·沃森 , 乔纳森·伍德拉夫 , 彼得·G·诺依曼 , 西蒙·摩尔 , 安德森 , 大卫·奇斯纳尔 , 尼拉夫·戴夫 , 布鲁克斯-戴维斯 , 希兰·古德卡 , 本·劳里 , 史蒂文·默多克 , 罗伯特·M·诺顿 , 迈克尔·罗 , 斯泰西·D·儿子 , 穆拉吉·瓦德拉 :
CHERI:用于可扩展软件划分的混合能力系统体系结构。 IEEE安全与隐私研讨会 2015 : 20-37 2014 [第18条] 理查德·尤勒 , 尼拉夫·戴夫 :
Smten使用基于满意度的搜索。 OOPSLA公司 2014 : 157-176 2013 [第17条] 理查德·尤勒 , 尼拉夫·戴夫 :
高级符号计算到SMT查询的自动转换。 CAV汽车 2013 : 678-683 [第16条] 阿西夫·汗 , 尼拉夫·戴夫 :
在软件定义的网络中实现硬件探索:灵活、可移植的OpenFlow交换机。 催化裂化装置 2013 : 145-148 [第15条] 维贾亚拉加万村 , 尼拉夫·戴夫 , 阿尔文德 :
保护原子操作的模块化编译。 记忆码 2013 : 177-188 2012 [第14条] 迈伦·金 , 尼拉夫·戴夫 , 阿尔文德 :
硬件/软件接口的自动生成。 ASPLOS公司 2012 : 325-336 2011 【b1】 尼拉夫·戴夫 :
硬件/软件协同设计的统一模型。 麻省理工学院,剑桥,马萨诸塞州,美国, 2011 [第13条] 尼拉夫·戴夫 , 迈克尔·凯特曼 , 迈伦·金 , 阿尔文德 , 何塞·梅塞盖尔 :
验证基于规则的系统中的微体系结构改进。 记忆码 2011 : 61-71 2010 [第12条] 尼拉夫·戴夫 , Man Cheuk Ng公司 , 迈克尔·佩劳尔 , 阿尔文德 :
基于模块化细化的设计流程。 记忆码 2010 : 11-20
2000 – 2009
2009 [第11条] 阿比纳夫·阿加瓦尔 , 尼拉夫·戴夫 , Kermin Fleming公司 , 阿西夫·汗 , 迈伦·金 , Man Cheuk Ng公司 , 穆拉利达兰·维贾亚拉哈万 :
实现一个快速笛卡尔极坐标矩阵插值器。 记忆码 2009 : 73-76 2008 [第10条] 阿尔文德 , 尼拉夫·戴夫 , 迈克尔·凯特曼 :
将形式验证纳入设计流程。 FM公司 2008 : 12-32 【c9】 Kermin Fleming公司 , 林春秋(Chun-Chieh Lin) , 尼拉夫·戴夫 , 阿尔文德 , 戈帕尔·拉加万 , 杰米·希克斯 :
H.264解码器:多设计点的案例研究。 记忆码 2008 : 165-174 【c8】 蒂穆·皮卡宁 , Vesa-Matti Hartikainen公司 , 尼拉夫·戴夫 , 戈帕尔·拉加万 :
802.15.3发射机:在Bluespec中使用OFDM框架的快速设计周期。 SAMOS公司 2008 : 65-74 2007 【c7】 尼拉夫·戴夫 , 阿尔文德 , 迈克尔·佩劳尔 :
作为规则组合的调度。 记忆码 2007 : 51-60 【c6】 Man Cheuk Ng公司 , 穆拉利达兰·维贾亚拉哈万 , 尼拉夫·戴夫 , 阿尔文德 , 戈帕尔·拉加万 , 杰米·希克斯 :
从WiFi到WiMAX:跨不同OFDM协议的高级别IP重用技术。 记忆码 2007 : 71-80 【c5】 尼拉夫·戴夫 , Kermin Fleming公司 , 迈伦·金 , 迈克尔·佩劳尔 , 穆拉利达兰·维贾亚拉哈万 :
Xilinx FPGA上矩阵乘法的硬件加速。 记忆码 2007 : 97-100 2006 【c4】 尼拉夫·戴夫 , 迈克尔·佩劳尔 , S.格丁 , 阿尔文德 :
802.11a发送器:微体系结构探索的案例研究。 备忘录代码 2006 : 59-68 2005 【c3】 尼拉夫·戴夫 , 吴文卓 , 阿尔文德 :
使用Bluespec自动合成缓存相干协议处理器。 记忆码 2005 : 25-34 2004 【c2】 阿尔文德 , Rishiyur S.Nikhil公司 , 丹尼尔·罗森班德 , 尼拉夫·戴夫 :
高级合成:设计复杂ASIC的基本要素。 国际计算机辅助设计协会 2004 : 775-782 [c1] 尼拉夫·戴夫 :
在Bluespec中设计重新排序缓冲区。 记忆码 2004 : 93-102
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)