Theses and Dissertations
Now showing items 1-3 of 3
The design and implementation of the Petite Amateur Naval Satellite (PANSAT) user services software
(Monterey, California. Naval Postgraduate School, 1998-03-01)
PANSAT is an experimental spread spectrum, store and forward communications micro satellite. The Chief of Naval Operations C4I staff (N6) sponsors the project in order to determine the feasibility and effectiveness of using ...
A resource constrained loop pipelining technique for perfectly-nested loop structures.
(Monterey, California. Naval Postgraduate School, 1993-09)
This thesis presents a new technique for loop pipelining of perfectly-nested for-loop structures which is designed to optimize loop execution on VLIW machines. Previously implemented loop pipelining techniques provide ...
A specification and analysis of the IEEE token bus protocol
(Monterey, California. Naval Postgraduate School, 1990-06)
In this thesis a formal description technique, systems of communicating machines, is used to specify and analyze a token bus protocol. A simplified description of the protocol is given, and proofs of certain correctness ...
Shing, Man-Tak (3)
Branch Of Service
Lieutenant, United States Navy (3)
Computer Science (3)
Department of Computer Science (3)