格雷戈里·沙利文
人员信息
其他同名人员
格雷格沙利文 (又名:格雷戈里·沙利文) 格雷戈里·沙利文 格雷戈里·沙利文 格雷戈里·W·沙利文
优化列表
2000 – 2009
2003 [第16条] 金红霞 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
使用程序证书防止软件篡改。 SAFECOMP公司 2003 : 144-158
1990 – 1999
1999 [第15条] 金红霞 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
分布式计算的运行时结果认证。 PDPTA公司 1999 : 890-895 1997 [j7] 乔纳森·布莱特 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
经正式验证的分拣认证机构。 IEEE传输。 计算机 46 ( 12 ) : 1304-1312 ( 1997 ) 1996 [j6] 大卫·G·希思 , 西蒙·卡西夫 , S.Rao Kosaraju公司 , 史蒂芬·萨尔兹堡 , 格雷戈里·沙利文 :
学习存储空间有限的嵌套概念类。 J.实验理论。 Artif公司。 因特尔。 8 ( 2 ) : 129-147 ( 1996 ) 1995 [j5] 格雷戈里·沙利文 , 德怀特·威尔逊 , 杰拉尔德·马森 :
计算结果认证。 IEEE传输。 计算机 44 ( 7 ) : 833-847 ( 1995 ) [第14条] 乔纳森·布莱特 , 格雷戈里·沙利文 :
几种数据结构的在线错误监测。 FTCS(飞行时间控制系统) 1995 : 392-401 [第13条] 乔纳森·布莱特 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
检查树的完整性。 FTCS(飞行时间控制系统) 1995 : 402-411 1994 [第12条] 乔纳森·布莱特 , 格雷戈里·沙利文 :
检查可合并优先级队列。 FTCS(飞行时间控制系统) 1994 : 144-153 1993 【j4】 西蒙·卡西夫 , 塞巴尔·巴纳吉 , 阿瑟·德尔彻 , 格雷戈里·沙利文 :
关于对称连接网络计算复杂性的一些结果。 安。数学。 Artif公司。 因特尔。 9 ( 3-4 ) : 327-344 ( 1993 ) [第11条] 格雷戈里·沙利文 , 德怀特·威尔逊 , 杰拉尔德·马森 :
认证跟踪和软件可测试性设计。 国际贸易中心 1993 : 200-209 1992 [j3] 道格拉斯·M·布洛 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
概率模型下多处理器系统的有效诊断。 IEEE传输。 计算机 41 ( 9 ) : 1126-1136 ( 1992 ) [注2] 道格拉斯·M·布洛 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
多处理器系统中的间歇性故障诊断。 IEEE传输。 计算机 41 ( 11 ) : 1430-1441 ( 1992 ) [c10] 德怀特·威尔逊 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
使用抽象数据类型验证对认证跟踪进行实验评估。 COMPSAC公司 1992 : 300-305 1991 【c9】 格雷戈里·沙利文 , 杰拉尔德·马森 :
数据结构的认证跟踪。 FTCS(飞行时间控制系统) 1991 : 240-247 【c8】 大卫·G·希思 , 西蒙·卡西夫 , S.Rao Kosaraju公司 , 史蒂芬·萨尔兹堡 , 格雷戈里·沙利文 :
学习存储有限的嵌套概念课程。 国际JCAI 1991 : 777-782 1990 【c7】 格雷戈里·沙利文 , 杰拉尔德·马森 :
使用认证跟踪实现软件容错。 FTCS(飞行时间控制系统) 1990 : 423-431 【c6】 道格拉斯·M·布洛 , 格雷戈里·沙利文 :
容错分布式系统投票策略的比较。 SRDS公司 1990 : 136-145
1980 – 1989
1989 【c5】 道格拉斯·M·布洛 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
稀疏互连多处理器系统的故障诊断。 FTCS(飞行时间控制系统) 1989 : 62-69 【c4】 理查德·贝格尔 , S.Rao Kosaraju公司 , 格雷戈里·沙利文 :
在恒定数量的并行测试轮次中定位故障。 SPAA公司 1989 : 189-198 1988 [j1] 格雷戈里·沙利文 :
安 O(吨 三 +|E|) 可诊断系统的故障识别算法。 IEEE传输。 计算机 37 ( 4 ) : 388-397 ( 1988 ) 【c3】 道格拉斯·M·布洛 , 格雷戈里·沙利文 , 杰拉尔德·马森 :
间歇性故障系统的几乎确定诊断。 FTCS(飞行时间控制系统) 1988 : 260-265 【c2】 S.Rao Kosaraju公司 , 格雷戈里·沙利文 :
多项式时间动态图中的循环检测(初步版本)。 STOC公司 1988 : 398-406 1984 【c1】 格雷戈里·沙利文 :
故障可诊断性的多项式时间算法。 光纤通信系统 1984 : 148-156