Michael C. Browne

According to our database, Michael C. Browne authored at least 12 papers between 1984 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Design Verification of the S3.mp Cache-Coherent Shared-Memory System.

Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois

IEEE Trans. Computers, 1998

1995

S-Connect: From Networks of Workstations to Supercomputer Performance.

Andreas Nowatzyk, Michael C. Browne, Edmund J. Kelly, Michael Parkin

Proceedings of the 22nd Annual International Symposium on Computer Architecture, 1995

The S3.mp Scalable Shared Memory Multiprocessor.

Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin

Proceedings of the 1995 International Conference on Parallel Processing, 1995

Exploiting Parallelism in Cache Coherency Protocol Engines.

Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994

The S3mp Scalable Shared Memory Multiprocessor.

Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, David Lee, Michael Parkin

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

The S3.mp Architecture: A Local Area Multiprocessor.

Andreas Nowatzyk, M. Monger, Michael Parkin, Edmund J. Kelly, Michael C. Browne, Gunes Aybay, David Lee

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1989

Reasoning about Networks with Many Identical Finite State Processes

Michael C. Browne, Edmund M. Clarke, Orna Grumberg

Inf. Comput., April, 1989

1988

Characterizing Finite Kripke Structures in Propositional Temporal Logic.

Michael C. Browne, Edmund M. Clarke, Orna Grumberg

Theor. Comput. Sci., 1988

1987

Characterizing Kripke Structures in Temporal Logic.

Michael C. Browne, Edmund M. Clarke, Orna Grumberg

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986

Automatic Verification of Sequential Circuits Using Temporal Logic.

Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra

IEEE Trans. Computers, 1986

An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic

Michael C. Browne

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1984

Using Temporal Logic for Automatic Verification of Finite State Systems.

Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla

Proceedings of the Logics and Models of Concurrent Systems, 1984