穆拉利达兰·维贾亚拉哈万
人员信息
SPARQL查询
优化列表
2010 – 2019
2018 [第15条] 张思卓 , 穆拉利达兰·维贾亚拉哈万 , 安德鲁·怀特 , Mehdi Alipour公司 , 阿尔文德 :
构建弱记忆模型。 国际标准协会 2018 : 124-137 [i6] 张思卓 , 穆拉利达兰·维贾亚拉哈万 , 安德鲁·怀特 , 迈赫迪·阿利普尔 , 阿尔文德 :
构建弱记忆模型。 CoRR公司 abs/1805.07886 ( 2018 ) 2017 [注2] 乔恩·崔 , 穆拉利达兰·维贾亚拉哈万 , 本杰明·谢尔曼 , 亚当·克利帕拉 , 阿尔文德 :
Kami:用于高级参数化硬件规范及其模块化验证的平台。 程序。 ACM计划。 语言。 1 ( ICFP公司 ) : 24:1-24:30 ( 2017 ) [第14条] 张思卓 , 穆拉利达兰·维贾亚拉哈万 , 阿尔文德 :
弱内存模型:平衡定义简单性和实现灵活性。 PACT公司 2017 : 288-302 [i5] 张思卓 , 穆拉利达兰·维贾亚拉哈万 , 阿尔文德 :
使用瞬时指令执行指定内存模型的操作框架。 CoRR公司 abs/1705.06158 ( 2017 ) [i4] 张思卓 , 维贾亚拉加万村 , 阿尔文德 :
弱内存模型:平衡定义简单性和实现灵活性。 CoRR公司 abs/1707.05923 ( 2017 ) [i3] 张思卓 , 穆拉利达兰·维贾亚拉哈万 , 丹·卢斯蒂格 , 阿尔文德 :
具有匹配公理和操作定义的弱记忆模型。 CoRR公司 abs/1710.04259 ( 2017 ) 2016 【b1】 穆拉利达兰·维贾亚拉哈万 :
硬件系统的模块化验证。 美国剑桥麻省理工学院, 2016 [i2] 张思卓 , 阿尔文德 , 穆拉利达兰·维贾亚拉哈万 :
驯服弱记忆模型。 CoRR公司 abs/1606.05416 ( 2016 ) 2015 [第13条] 穆拉利达兰·维贾亚拉哈万 , 亚当·克利帕拉 , 阿尔文德 , 尼拉夫·戴夫 :
多处理器硬件设计的模块演绎验证。 CAV(2) 2015 : 109-127 [i1] 余向尧 , 穆拉利达兰·维贾亚拉哈万 , 斯里尼瓦斯·德瓦达斯 :
Tardis缓存一致性协议的正确性证明。 CoRR公司 abs/1505.06459 ( 2015 ) 2014 [第12条] 米查尔·卡奇马雷克 , 阿尔文德 , 维贾亚拉加万村 :
一种新的包含多循环功能块的原子规则合成方法。 记忆码 2014 : 22-31 2013 [第11条] 穆拉利达兰·维贾亚拉哈万 , 尼拉夫·戴夫 , 阿尔文德 :
保护原子操作的模块化编译。 记忆码 2013 : 177-188 2012 [c10] 阿西夫·汗 , 穆拉利达兰·维贾亚拉哈万 , 塞拉斯·博伊德·威奇泽 , 阿尔文德 :
多核处理器的快速循环精确建模。 ISPASS公司 2012 : 178-187 【c9】 阿西夫·汗 , 穆拉利达兰·维贾亚拉哈万 , 阿尔文德 :
确定性模型周期级调试的通用技术。 记忆码 2012 : 109-118 2010 【c8】 迈克尔·佩劳尔 , 阿比纳夫·阿加瓦尔 , 阿西夫·汗 , Man Cheuk Ng公司 , 穆拉利达兰·维贾亚拉哈万 , 福雷斯特·布鲁尔 , 乔尔·埃默 :
设计竞赛概述:网络流分类和入侵检测的组合体系结构(CANSCID)。 记忆码 2010 : 69-72
2000 – 2009
2009 [j1] 迈克尔·佩劳尔 , 穆拉利达兰·维贾亚拉哈万 , 阿德尔 , 阿尔文德 , 乔尔·埃默 :
A端口网络:在FPGA上建模时保留同步系统的时间行为。 ACM事务处理。 可重构技术。 系统。 2 ( 三 ) : 16:1-16:26 ( 2009 ) 【c7】 阿比纳夫·阿加瓦尔 , 尼拉夫·戴夫 , Kermin Fleming公司 , 阿西夫·汗 , 迈伦·金 , 吴文卓 , 穆拉利达兰·维贾亚拉哈万 :
实现一个快速笛卡尔极坐标矩阵插值器。 记忆码 2009 : 73-76 【c6】 穆拉利达兰·维贾亚拉哈万 , 阿尔文德 :
有界数据流网络和延迟不敏感电路。 记忆码 2009 : 171-180 2008 【c5】 迈克尔·佩劳尔 , 穆拉利达兰·维贾亚拉哈万 , 阿德尔 , 阿尔文德 , 乔尔·埃默 :
A-Ports:FPGA上循环精确性能模型的有效抽象。 FPGA(现场可编程门阵列) 2008 : 87-96 【c4】 迈克尔·佩劳尔 , 穆拉利达兰·维贾亚拉哈万 , 阿德尔 , 阿尔文德 , 乔尔·埃默 :
快速性能模型:FPGA上的紧密耦合分区仿真。 ISPASS公司 2008 : 1-10 【c3】 Kermin Fleming公司 , 迈伦·金 , Man Cheuk Ng公司 , 阿西夫·汗 , 穆拉利达兰·维贾亚拉哈万 :
高通量管道Mergesort。 记忆码 2008 : 155-158 2007 【c2】 Man Cheuk Ng公司 , 穆拉利达兰·维贾亚拉哈万 , 尼拉夫·戴夫 , 阿尔文德 , 戈帕尔·拉加万 , 杰米·希克斯 :
从WiFi到WiMAX:跨不同OFDM协议的高级别IP重用技术。 记忆码 2007 : 71-80 【c1】 尼拉夫·戴夫 , Kermin Fleming公司 , 迈伦·金 , 迈克尔·佩劳尔 , 穆拉利达兰·维贾亚拉哈万 :
Xilinx FPGA上矩阵乘法的硬件加速。 记忆码 2007 : 97-100