Theses and Dissertations
Now showing items 1-5 of 5
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 ...
An evaluation of a test scheduling solution
(Monterey, California. Naval Postgraduate School, 1993-03)
As recognized in the software engineering process, software testing during development is an aspect that must be improved to accurately predict and reduce probabilities of future software failures. A possible method of ...
An empirical approach to analysis of similarities between software failure regions.
(Monterey, California. Naval Postgraduate School, 1991-09)
Previous authors have postulated that faults are related to each other and testers have tried to exploit the effect. However, the evidence and applications have been largely anecdotal. This thesis uses an analytical ...
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 (5)
Branch Of Service
Lieutenant, United States Navy (5)
Computer Science (5)