Michael C. Browne
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1986–1995
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | EuroPar | Exploiting Parallelism in Cache Coherency Protocol Engines. | Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin |
| 1995 | ICPP | The S3.mp Scalable Shared Memory Multiprocessor. | Andreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin |
| 1995 | ISCA | S-Connect: From Networks of Workstations to Supercomputer Performance. | Andreas Nowatzyk, Michael C. Browne, Edmund J. Kelly, Michael Parkin |
| 1993 | SPAA | The S3.mp Architecture: A Local Area Multiprocessor. | Andreas Nowatzyk, M. Monger, Michael Parkin, Edmund J. Kelly, Michael C. Browne, Gunes Aybay, David Lee |
| 1986 | LICS | An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic | Michael C. Browne |
| 1986 | PODC | Reasoning About Networks With Many Identical Finite-State Processes. | Edmund M. Clarke, Orna Grumberg, Michael C. Browne |