Reports and Technical Reports
Blockchain Mergence and Reconditioning Blockchain to Enable Global Supply Chain Assurance
(Monterey, California. Naval Postgraduate School, 2020-11); NPS-CS-21-001
Distributed ledger technology such as blockchain could ideally be used to solve challenges in global supply chain assurance. In blockchain, consensus is achieved among active concurrent participants. The chain is, by design, ...
Machine Learning for Analysis of Naval Aviator Training
(Monterey, California. Naval Postgraduate School, 2020-10); NPS-CS-20-002
This project investigated patterns in the training data of Navy aviators in an attempt to predict their success in training. With the help of the sponsor, we assembled a database from many sources of training data. This ...
Assessment of DMSO Conceptual Models of the Mission Space (Progress Report 1/01/2000 - 12/31/2000)
(Naval Postgraduate School, 2001-01); NPS-SW-01-001
Decision Support for Formal Method Selection
(Naval Postgraduate School, 2002-07); NPS-SW-02-007
Execution of a High Level Real-Time Language
(Naval Postgraduate School, 1988); NPS 52-88-035
Prototype System Description Language (PSDL) is a high level real-time language with special features for hard real-time system specification and design. It can be used to firm up requirements through execution of its ...
Handling Timing Constraints in Rapid Prototyping
(Naval Postgraduate School, 1988); NPS 52-88-036
This paper presents the concepts and mechanisms for handling the real-time constraints of embedded systems in rapid prototyping. Rapid prototyping of embedded systems can be accomplished using a Computer Aided Prototyping ...
A Conceptual Level Design for a Static Scheduler for Hard Real-Time Systems
(Naval Postgraduate School, 1988); NPS 52-88-032
This report builds upon work previously done in the development of the Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) and presents a conceptual design for the pioneer prototype ...
Semantics of a Real-Time Language
(Naval Postgraduate School, 1988); NPS 52-88-033
This paper describes the semantic! of the real-time language PSDL, which was designed for prototyping real-time systems. We focus on the aspects of the language relating to hard real-time constraints, scheduling, and ...
Automated Prototyping Data and Knowledge Translation
(Naval Postgraduate School, 1988); NPS 52-88-034
This paper describes the transfonnations used to produce an executable prototype from a very high level description of a software system in a computer-aided prototyping process. The high level description can include ...
An Introduction to the Specification Language Spec
(Naval Postgraduate School, 1988); NPS 52-88-031
This paper presents a language for giving black-box specifications in the early stages of software design. This language is suitable for describing parallel programs, distributed systems, and real- time constraints. The ...
Refine By:
Author
Date Issued
Department
-
Computer Science (CS) (86)