For the most recent entries see the
Petri Nets Newsletter.
Vernon, M.K.
-
Ramachandran, U.;
Solomon, Marvin;
Vernon, Mary K.:
Hardware Support for Interprocess Communication.
1990.
-
Vernon, M.K.;
Lazowska, E.D.;
Zahorjan, J.:
Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-consistensy Protocols.
1988.
-
Coradia, T.;
Vernon, M.K.:
A Model for Quantitative Analysis of Network Interface Units.
1987.
-
Ramachandran, U.;
Solomon, M.;
Vernon, M.K.:
Hardware Support for Interprocess Communication.
1987.
-
Ramachandran, U.;
Solomon, M.;
Vernon, M.K.:
Techniques for Reducing the Complexity of Large System Models.
1987.
-
Holliday, M.A.;
Vernon, M.K.:
Exact Performance Estimates for Multiprocessor Memory and Bus Interference.
1987.
-
Holliday, M.A.;
Vernon, M.K.:
The GTPN Analyzer; Numerical Methods and User Interface.
1986.
-
Holliday, M.A.;
Vernon, M.K.:
A Generalized Timed Petri Net Model for Performance Analysis.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography