贝弗利·A·桑德斯
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 【c21】 贝弗利·A·桑德斯 , 杰森·伯德 , 纳库尔·金达尔 , 维克托·洛特里奇 , 德米特里·利亚克 , Ajith Perera公司 , 罗德尼·J·巴特利特 :
Aces4:使用超大块解析数组进行计算化学计算的平台。 IPDPS公司 2017 : 555-564 2016 [公元19年] 纳库尔·金达尔 , 维克托·洛特里奇 , 埃里克·戴蒙斯 , 贝弗利·A·桑德斯 :
利用超级指令体系结构开发GPU。 国际J并行程序。 44 ( 2 ) : 309-324 ( 2016 ) 2014 [公元20年] 纳库尔·金达尔 , 杨俊敏 , 维克托·洛特里奇 , 杰森·伯德 , 贝弗利·A·桑德斯 :
抽象解释:按比例测试,而不按比例测试。 南卡罗来纳州SE-HPCCSE 2014 : 1-5 2013 [第19条] 纳库尔·金达尔 , 维克托·洛特里奇 , 埃里克·戴蒙斯 , 贝弗利·A·桑德斯 :
SIPMaP:在超级指令体系结构中建模不规则并行计算的工具。 IPDPS公司 2013 : 874-884 2012 [公元18年] 金敬熙 , Tuba Yavuz-Kahveci公司 , 贝弗利·A·桑德斯 :
JRF-E:使用模型检查提供消除内存模型相关错误的建议。 自动。 柔和。 工程师。 19 ( 4 ) : 491-530 ( 2012 ) [第18条] 金华峰 , Tuba Yavuz-Kahveci公司 , 贝弗利·A·桑德斯 :
Java内存模型-软件模型检查。 TACAS公司 2012 : 220-236 2010 [第17条] KyungHee Kim(金庆熙) , 图巴·亚武兹·卡韦奇 , 贝弗利·A·桑德斯 :
JRF-E:使用模型检查提供消除内存模型相关错误的建议。 ASE公司 2010 : 215-224 [第16条] 贝弗利·A·桑德斯 , 罗德尼·J·巴特利特 , 埃里克·戴蒙斯 , 维克多·洛里奇 , 马克·蓬顿 :
超大数组张量代数的面向块语言和运行时系统。 联合国安全理事会 2010 : 1-11
2000 – 2009
2009 [第15条] 维克托·洛特里奇 , 诺伯特·弗洛克 , 马克·蓬顿 , 贝弗利·A·桑德斯 , 埃里克·戴蒙斯 , 罗德尼·J·巴特利特 , Ajith Perera公司 :
用于计算化学的可扩展和可移植并行程序的基础设施。 内部控制系统 2009 : 523-524 [第14条] KyungHee Kim(金庆熙) , Tuba Yavuz-Kahveci公司 , 贝弗利·A·桑德斯 :
基于启发式模型检查的松弛记忆模型中的精确数据竞争检测。 ASE公司 2009 : 495-499 2008 [第13条] 贝弗利·A·桑德斯 , 埃里克·戴蒙斯 , 维克托·洛特里奇 , 马克·蓬顿 :
重构并行计算化学的语言。 OOPSLA的WRT 2008 : 11 [第12条] 贝弗利·A·桑德斯 , KyungHee Kim(金庆熙) :
关于放松记忆模型中数据竞争的断言推理。 PPoPP(PPoPP) 2008 : 267-268 2007 [公元17年] 伯纳·马辛吉尔 , 蒂莫西·马特森 , 贝弗利·A·桑德斯 :
并行性重组 :传统应用程序的PLPP入口点。 同意。 计算。 实际。 支出。 19 ( 4 ) : 503-529 ( 2007 ) 2006 [公元16年] 杨俊彬 , 贝弗利·A·桑德斯 :
一种基于模式的通信协议开发方法。 《信息科学杂志》。 工程师。 22 ( 2 ) : 315-335 ( 2006 ) 2005 [公元15年] 杨俊彬 , 贝弗利·A·桑德斯 , ChangSup基姆 :
使用消息传输模式设计通信协议。 国际法学委员会。 系统。 18 ( 5 ) : 465-485 ( 2005 ) [第11条] 杨俊彬 , 贝弗利·A·桑德斯 :
一种基于模式的通信协议开发方法。 囊 2005 : 1524-1528 2002 [公元14年] 多米尼克·梅里 , 贝弗利·A·桑德斯 :
编辑注释。 形式方法系统。 设计。 20 ( 1 ) : 5 ( 2002 ) [第10条] 米歇尔·夏彭蒂尔 , 贝弗利·A·桑德斯 :
研讨会介绍。 IPDPS公司 2002 2001 [j13] 贝弗利·A·桑德斯 :
平行的最短路径。 信息处理。 莱特。 77 ( 2-4 ) : 213-217 ( 2001 ) [公元12年] 伯纳·马辛吉尔 , 蒂莫西·马特森 , 贝弗利·A·桑德斯 :
使用模式语言进行并行编程。 国际期刊软件。 技术工具。 Transf公司。 三 ( 2 ) : 217-234 ( 2001 ) 2000 [公元11年] 贝弗利·A·桑德斯 :
使用原子等待命令在Java中开发并发程序。 柔和。 概念工具 19 ( 4 ) : 168-174 ( 2000 ) [公元10年] 大卫·梅尔 , 贝弗利·A·桑德斯 :
撰写引线属性。 西奥。 计算。 科学。 243 ( 1-2 ) : 339-361 ( 2000 ) 【c9】 伯纳·马辛吉尔 , 蒂莫西·马特森 , 贝弗利·A·桑德斯 :
并行应用程序的模式语言(研究笔记)。 欧洲-保时捷 2000 : 678-681 【c8】 贝弗利·A·桑德斯 , 多米尼克·梅里 :
并行程序设计形式化方法研讨会(FMPPTA 2000)。 IPDPS研讨会 2000 : 974-976
1990 – 1999
1999 [电子1] 何塞·D·P·罗利姆 , 弗兰克·米勒 , 阿尔伯特·Y·佐马亚 , 菲克雷特·埃尔萨勒 , 斯蒂芬·奥拉里奥 , 比诺伊·拉文德兰 , 简·古斯塔夫森 , Hiroaki Takada公司 , 罗纳德·奥尔森 , 拉克西坎特·V·卡莱 , 彼得·贝克曼 , 马修·海恩斯 , 霍萨姆·A·埃尔金迪 , 丹尼斯·卡罗姆 , 谢尔盖·乔米特 , 杰弗里·福克斯 , 易潘 , 李克勤 , 陶阳 , G.吉奥拉 , 吉安尼·孔蒂 , 路易吉·曼奇尼 , 多米尼克·梅里 , 贝弗利·A·桑德斯 , 德维什·巴特 , 维克托·普拉桑纳 :
并行和分布式处理,11个IPPS/SDP'99研讨会,与第13届国际并行处理研讨会和第10届并行和分布式处理研讨会同时举行,1999年4月12日至16日,美国波多黎各圣胡安,会议记录。 计算机科学课堂讲稿 1586, 施普林格 1999 ,国际标准图书编号 3-540-65831-9 [目录] 1998 [公元9年] 贝弗利·A·桑德斯 :
混合规格的数据细化。 信息学报 35 ( 2 ) : 91-129 ( 1998 ) [j8] 贝弗利·A·桑德斯 , 伯纳·马辛吉尔 , 斯维特兰娜·克鲁科娃 :
移动通信设备位置管理算法的推导。 并行过程。 莱特。 8 ( 4 ) : 473-488 ( 1998 ) 1997 [j7] Rutger M.Dijkstra公司 , 贝弗利·A·桑德斯 :
进度属性“To-Always”的谓词转换器。 形式方面计算。 9 ( 三 ) : 270-282 ( 1997 ) 1995 [j6] K.马尼·钱迪 , 贝弗利·A·桑德斯 :
并发计算推理的谓词变换器。 科学。 计算。 程序。 24 ( 2 ) : 129-148 ( 1995 ) [j5] 斯皮罗斯·拉利斯 , 贝弗利·A·桑德斯 :
使用Oberon的分布式系统中从持久对象到对象的传输。 柔和。 概念工具 16 ( 1 ) : 12-19 ( 1995 ) 1994 【c7】 K.马尼·钱迪 , 贝弗利·A·桑德斯 :
并行程序的组合规范:非确定性数据流。 并行算法规范 1994 : 51-63 【c6】 Spyros Lalis公司 , 贝弗利·A·桑德斯 :
向Oberon系统添加并发性。 编程语言和系统架构 1994 : 328-344 1991 【j4】 贝弗利·A·桑德斯 :
从UNITY逻辑中消除替换公理。 形式方面计算。 三 ( 2 ) : 189-205 ( 1991 ) 【c5】 贝弗利·A·桑德斯 :
关于UNITY设计决策。 高级并行程序设计语言的研究方向 1991 : 50-63 【c4】 贝弗利·A·桑德斯 :
基于知识和知识的协议的谓词变换方法(扩展抽象)。 PODC公司 1991 : 217-230 1990 【c3】 贝弗利·A·桑德斯 :
并发程序混合规范的逐步细化。 编程概念和方法 1990 : 1-26
1980 – 1989
1989 [c2] 贝弗利·A·桑德斯 , 菲利普·A·休伯格 :
分布式死锁检测和解决探头。 WDAG公司 1989 : 207-218 1988 [j3] 贝弗利·A·桑德斯 :
一种用于计算机网络中速率分配的异步分布式流量控制算法。 IEEE传输。 计算机 37 ( 7 ) : 779-787 ( 1988 ) [注2] 贝弗利·A·桑德斯 :
一种用于计算机网络中速率分配的激励兼容流量控制算法。 IEEE传输。 计算机 37 ( 9 ) : 1067-1072 ( 1988 ) 1987 [j1] 贝弗利·A·桑德斯 :
分布式互斥算法的信息结构。 ACM事务处理。 计算。 系统。 5 ( 三 ) : 284-299 ( 1987 ) 1986 【c1】 贝弗利·A·桑德斯 :
计算机/通信网络中公平速率分配的激励兼容流控制算法。 ICDCS系统 1986 : 314-320
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)