Sturgill, David Brian.Sealey, Adam L.Baylor University. Dept. of Computer Science.2009-08-252009-08-252009-082009-08-25http://hdl.handle.net/2104/5393Includes bibliographical references (p. 125).The F/A-18 has a mission computer that requires physical memory be mapped into a very limited amount of virtual memory space. As requirements for this aircraft have expanded, the mission computer must perform increasingly complex computations without using any additional virtual memory. The elements required by the computations must be assigned physical and logical addresses in a manner that satisfies a variety of constraints imposed by the system. Determining these addresses is an NP-Complete problem, to which the only known way of finding a solution is exponential-time search. We present a formalization and analysis of the problem, along with an analysis of the feasibility of performing search. Additionally, we explore a variety of incomplete search techniques with the goal of producing an acceptable mapping of elements to addresses that satisfies all constraints within a reasonable amount of time.x, 125 p. : ill.73255 bytes2449676 bytesapplication/pdfapplication/pdfen-USBaylor University theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. Contact librarywebmaster@baylor.edu for inquiries about permission.Virtual storage (Computer science)Mappings (Mathematics)Avionics.Airplanes, Military -- Electronic equipment --- United States.Hornet (Jet fighter plane)Solving the F/A-18 mission computer virtual memory problem.ThesisWorldwide access