Theses and Dissertations
Now showing items 1-2 of 2
A protocol validator for the SCM and CFSM models
(Monterey, California: Naval Postgraduate School, 1993-06)
This thesis introduces and describes a software tool called Mushroom which automates the analysis of network protocols specified by the Systems of Communicating Machines (SCM) and the Communicating Finite State Machines ...
On increasing the effective blocking factor of a matrix for a given cache organization
(Monterey, California. Naval Postgraduate School, 1992-09)
Blocking (Tiling) techniques of iteration spaces to increase data reuse in the cache were reviewed. Results consistent with those previously published were experimentally obtained. The relation between the sizes of the ...