Mission Management forms an integral part of the command and control system for truly intelligent autonomous vehicles. It is responsible for overall coordination of robot subsystem activities, directing them to achiev...
详细信息
The need to design and verify architectures to support parallel implementations of declarative languages has led to the development of a novel language, called Paragon, which bridges the gap between the top-level spec...
详细信息
We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented...
详细信息
The actor model is developed as a foundation for concurrent object-oriented programming. The model provides for non-interference of state changes with multiple threads, inherent concurrency, reconfigurability, encapsu...
详细信息
We present a new framework for amalgamating two successful programming paradigms: logic programming and object-oriented programming. From the former, we keep the delarative reading of programs. From the latter, we sel...
详细信息
The paper describes the user interface (UI) environment developed for the SOMIW (Secure Open Multimedia Integrated Workstation) project. The basic goals of the project were the definition of a comprehensive architectu...
详细信息
An object-oriented approach to modeling and simulating computer architectures is presented. This approach yields a 'generic'- class hierarchy that supports the simulation of basic computer microarchitecture co...
详细信息
An object-oriented approach to modeling and simulating computer architectures is presented. This approach yields a 'generic'- class hierarchy that supports the simulation of basic computer microarchitecture components found in most computers. This is accomplished by concentrating on the more generic concepts of processors, memories, registers etc., rather than concentrating on a specific system. The 'generic' class hierarchy is tested by developing microarchitecture simulators for two different microarchitecture designs.
In nearly all large organizations, the Navy and Department of Defense being no exceptions, the use of database management systems (DBMS' s) has become widespread. The prevailing data model for modern DBMS's is...
详细信息
In nearly all large organizations, the Navy and Department of Defense being no exceptions, the use of database management systems (DBMS' s) has become widespread. The prevailing data model for modern DBMS's is the relational model developed by Codd in the early 1970's. The relational model's superiority is due to its well thought out design and founding in mathematical logic. The de facto standard query language for relational DBMS's is IBM's Structured Query Language (SQL). Although SQL is the most widely used query language today, it has many problems, especially in the ease-of-use area. The purpose of this thesis is to design, implement, and test a new query language, DFQL, which will mitigate SQL's ease-of-use problems. DFQL provides a graphical query interface based on the dataflow paradigm in order to allow a user to easily and incrementally construct queries for a relational database. DFQL is relationally complete, maintains relational operational closure, and is designed to be easily extensible by the end user. DFQL has been implemented on an Apple Macintosh using an ORACLE relational DBMS. A simple human factors experiment was performed in which DFQL's ease of query writing compared favorably to that of SQL.
Supplemental catalog subcollection information: NASA Publication Collection; Astrophysics and Technical Documents; objectoriented techniques have generated considerable interest in the Artificial Intelligence (AI) co...
详细信息
Supplemental catalog subcollection information: NASA Publication Collection; Astrophysics and Technical Documents; objectoriented techniques have generated considerable interest in the Artificial Intelligence (AI) community in recent years. This paper di
暂无评论