Michael C. Browne

13 papers A* 3B 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
1998 J jnl
Design Verification of the S3.mp Cache-Coherent Shared-Memory System.
IEEE Trans. Computers
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois
1995 — conf
Exploiting Parallelism in Cache Coherency Protocol Engines.
Euro-Par
Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin
1995 A* conf
S-Connect: From Networks of Workstations to Supercomputer Performance.
ISCA
Andreas Nowatzyk, Michael C. Browne, Edmund J. Kelly, Michael Parkin
1995 — conf
The S3.mp Scalable Shared Memory Multiprocessor.
ICPP (1)
Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin
1994 — conf
The S3mp Scalable Shared Memory Multiprocessor.
HICSS (1)
Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, David Lee, Michael Parkin
1993 B conf
The S3.mp Architecture: A Local Area Multiprocessor.
SPAA
Andreas Nowatzyk, M. Monger, Michael Parkin, Edmund J. Kelly, Michael C. Browne, Gunes Aybay, David Lee
1989 J jnl
Reasoning about Networks with Many Identical Finite State Processes
Inf. Comput.
Michael C. Browne, Edmund M. Clarke, Orna Grumberg
1988 J jnl
Characterizing Finite Kripke Structures in Propositional Temporal Logic.
Theor. Comput. Sci.
Michael C. Browne, Edmund M. Clarke, Orna Grumberg
1987 — conf
Characterizing Kripke Structures in Temporal Logic.
TAPSOFT, Vol.1
Michael C. Browne, Edmund M. Clarke, Orna Grumberg
1986 A* conf
An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic
LICS
Michael C. Browne
1986 J jnl
Automatic Verification of Sequential Circuits Using Temporal Logic.
IEEE Trans. Computers
Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra
1986 A* conf
Reasoning About Networks With Many Identical Finite-State Processes.
PODC
Edmund M. Clarke, Orna Grumberg, Michael C. Browne
1984 — conf
Using Temporal Logic for Automatic Verification of Finite State Systems.
Logics and Models of Concurrent Systems
Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla