迈克尔·C·布朗
人员信息
其他同名人员
优化列表
1990 – 1999
1998 【j4】 方庞 , 迈克尔·C·布朗 , Gunes艾贝 , 安德烈亚斯·诺瓦茨克 , 米歇尔·杜波伊斯 :
S3.mp缓存相关共享内存系统的设计验证。 IEEE传输。 计算机 47 ( 1 ) : 135-140 ( 1998 ) 1995 【c9】 安德烈亚斯·诺瓦茨克 , Gunes艾贝 , 迈克尔·C·布朗 , 埃德蒙·凯利 , 帕金 , 比尔·拉德克 , 桑杰·维申 :
利用缓存一致性协议引擎中的并行性。 欧洲-保时捷 1995 : 269-286 【c8】 安德烈亚斯·诺瓦茨克 , Gunes艾贝 , 迈克尔·C·布朗 , 埃德蒙·凯利 , 帕金 , 比尔·拉德克 , 桑杰·维申 :
S3.mp可扩展共享内存多处理器。 ICPP(1) 1995 : 1-10 【c7】 安德烈亚斯·诺瓦茨克 , 迈克尔·C·布朗 , 埃德蒙·凯利 , 帕金 :
S-Connect:从工作站网络到超级计算机性能。 国际标准协会 1995 : 71-82 1994 【c6】 安德烈亚斯·诺瓦茨克 , Gunes艾贝 , 迈克尔·C·布朗 , 埃德蒙·凯利 , 大卫·李 , 帕金 :
S3mp可扩展共享内存多处理器。 HICSS(1) 1994 : 144-153 1993 【c5】 安德烈亚斯·诺瓦茨克 , M.蒙格 , 帕金 , 埃德蒙·凯利 , 迈克尔·C·布朗 , Gunes艾贝 , 大卫·李 :
S3.mp体系结构:局域网多处理器。 SPAA公司 1993 : 140-141
1980 – 1989
1989 [j3] 迈克尔·C·布朗 , 埃德蒙·克拉克 , 奥尔纳·格隆伯格 :
关于具有许多相同有限状态过程的网络的推理。 Inf.计算。 81 ( 1 ) : 13-31 ( 1989 ) 1988 [注2] 迈克尔·C·布朗 , 埃德蒙·克拉克 , 奥尔纳·格隆伯格 :
命题时间逻辑中有限Kripke结构的表征。 西奥。 计算。 科学。 59 : 115-131 ( 1988 ) 1987 【c4】 迈克尔·C·布朗 , 埃德蒙·克拉克 , 奥尔娜·格伦伯格 :
时间逻辑中克里普克结构的特征。 TAPSOFT,第1卷 1987 : 256-270 1986 [j1] 迈克尔·C·布朗 , 埃德蒙·克拉克 , 大卫·L·迪尔 , 巴德·米什拉 :
时序电路的时序逻辑自动验证。 IEEE传输。 计算机 35 ( 12 ) : 1035-1044 ( 1986 ) 【c3】 迈克尔·C·布朗 :
一种改进的基于时序逻辑的有限状态系统自动验证算法。 低收入国家 1986 : 260-266 【c2】 埃德蒙·克拉克 , 奥尔娜·格伦伯格 , 迈克尔·C·布朗 :
关于具有许多相同有限状态过程的网络的推理。 PODC公司 1986 : 240-248 1984 【c1】 埃德蒙·克拉克 , 迈克尔·C·布朗 , E.艾伦·艾默生 , A.普拉萨德·西斯特拉 :
使用时间逻辑自动验证有限状态系统。 并发系统的逻辑和模型 1984 : 3-26