伊沙伊·拉宾诺维茨
人员信息
优化列表
2010 – 2019
2011 [第14条] 理查德·格雷厄姆 , 曼朱纳特·戈伦特拉·文卡塔 , 约书亚·拉德 , 帕维尔·沙米斯 , 伊斯海·拉比诺维茨 , 瓦西里·菲利波夫 , 闪纳尔 :
猎豹:可扩展层次化集体行动框架。 CCGRID公司 2011 : 73-83 [第13条] 曼朱纳特·戈伦特拉·文卡塔 , 理查德·格雷厄姆 , 约书亚·拉德 , 帕维尔·沙米斯 , 伊斯海·拉比诺维茨 , 瓦西里·菲利波夫 , 闪纳尔 :
ConnectX-2 CORE直接启用的异步广播集合通信。 IPDPS研讨会 2011 : 781-787 2010 [第12条] 理查德·格雷厄姆 , 史蒂夫·普尔 , 帕维尔·沙米斯 , 吉尔·布洛赫 , 诺姆·布洛赫 , 希勒尔·查普曼 , 迈克尔·卡根 , 阿里尔·沙哈尔 , 伊斯海·拉比诺维茨 , 闪纳尔 :
ConnectX-2 InfiniBand管理队列:首次调查网络卸载集合操作的新支持。 CCGRID公司 2010 : 53-62 [第11条] 理查德·格雷厄姆 , 斯蒂芬·W·普尔 , 帕维尔·沙米斯 , 吉尔·布洛克 , 诺姆·布洛赫 , 希勒尔·查普曼 , 迈克尔·卡根 , 阿里尔·沙哈尔 , 伊斯海·拉比诺维茨 , 闪纳尔 :
重叠计算和通信:屏障算法和ConnectX-2 CORE-Direct功能。 IPDPS研讨会 2010 : 1-8 [c10] 马修·库普 , 帕维尔·沙米斯 , 伊斯海·拉比诺维茨 , Dhabaleswar K.熊猫 :
在InfiniBand上设计高性能和弹性消息传递。 IPDPS研讨会 2010 : 1-7 【c9】 伊斯海·拉比诺维茨 , 帕维尔·沙米斯 , 理查德·格雷厄姆 , 诺姆·布洛赫 , 闪纳尔 :
使用ConnectX-2的CORE网络卸载分层集合- 直接 能力。 欧洲MPI 2010 : 102-112
2000 – 2009
2008 【c8】 盖伦·M·希普曼 , 斯蒂芬·W·普尔 , 帕维尔·沙米斯 , 伊斯海·拉比诺维茨 :
X-SRQ-提高多核InfiniBand集群的可扩展性和性能。 PVM/MPI公司 2008 : 33-42 2006 【c7】 珍妮斯·埃兰库拉姆 , 齐夫·格拉兹伯格 , 伊斯海·拉比诺维茨 , 古鲁拉贾·科瓦利 , 萨蒂什·钱德拉·古普塔 , 桑迪普科利 , 赛·达塔特拉尼 , 克劳迪奥·帕尼瓜·马西亚 :
检测嵌入式软件UML状态图中的设计缺陷。 海法核查会议 2006 : 109-121 【c6】 白珊润 , 辛迪·艾斯纳 , 齐夫·格拉兹伯格 , 丹尼尔·克罗宁 , 伊斯海·拉比诺维茨 :
ExpliSAT:使用明确状态指导基于SAT的软件验证。 海法核查会议 2006 : 138-154 【c5】 哈娜·查克勒 , 埃坦·法基 , 齐夫·格拉兹伯格 , 本尼·戈德林 , Yarden Nir-Buchbinder公司 , 伊斯海·拉比诺维茨 :
并发软件的形式验证:两个案例研究。 帕达德 2006 : 11-22 2005 【c4】 伊斯海·拉比诺维茨 , 奥尔娜·格伦伯格 :
并发程序的有界模型检查。 CAV汽车 2005 : 82-97 【c3】 白珊润 , 齐夫·格拉兹伯格 , 伊斯海·拉比诺维茨 :
使用形式化方法的并发软件的Wolf-Bug Hunter。 CAV汽车 2005 : 153-157 【c2】 丹尼尔·盖斯特 , 马克·金兹伯格 , 尤亚德·卢斯蒂格 , 伊斯海·拉比诺维茨 , 奥哈德·沙查姆 , 雷切尔·索雷夫 :
在有限路径模型上支持基于SAT的BMC。 BMC@CAV 2005 : 67-77 2003 【c1】 白珊润 , 伊斯海·拉比诺维茨 :
使用部分析取分区对软件进行有效的符号模型检查。 CHARME公司 2003 : 35-50