Hou, Shu-en, Alonso, José Antonio, Goodenough, John B.
5 pages, 6 figures.-- Available online Jul 18, 2009.
Weinstock, Charles B., Goodenough, John B., Hudak, John J.
Many large software systems display fragility or a lack of dependability caused by inattention to details at various stages of development (e.g., missing data, undocumented assumptions, lack of...
Weinstock, Charles B., Goodenough, John B.
A significant number of systems fail in initial use or even during integration because factors that have a negligible effect when systems are lightly used have a harmful effect as the level of use...
Charles B. Weinstock, John B. Goodenough
Use of any trademarks in this report is not intended in any way to infringe on the rights of the trademark holder. Internal use. Permission to reproduce this document and to prepare derivative works...
MAIDS: Information Dynamics Technology Requirements Study. (2005)
Goodenough,John B., Ross,Douglas T., Eanes,R. Sterlin
The report describes software technology problems concerning the use of automatic test equipment in the Army. It contains detailed analyses of three software technology areas: software modularity,...
Performance-Critical Systems (2004)
Charles B. Weinstock, John B. Goodenough, John J. Hudak
Unlimited distribution subject to the copyright.
Solid Electrolytes and Photoelectrolysis. (2002)
Goodenough,John B., Dwight,Kirby , Jr., Hong,Henry Y-P, Kafalas,James A., Mavroides,John G.
Three classes of cubic skeleton structures are explored for fast Na+-ion transport for use as solid electrolytes in Na-S batteries. The cubic KSbO3 structure consists of an (SbO3)- skeleton having ...
A Study of High Level Language Features. Volume 1. (2002)
Goodenough,John B., Shafer,Lawrence H.
The two volumes of this report present a comprehensive survey and analysis of high level programming language features, together with a selection of features needed to program Army tactical...
A Study of High Level Language Features. Volume 2. Detailed Language Features Analyses. (2002)
Goodenough,John B., Shafer,Lawrence H.
The two volumes of this report present a comprehensive survey and analysis of high level programming language features, together with a selection of features needed to program Army tactical...
Solid Electrolytes: Alkali-Ion Transport in Skeleton Structures. (2002)
Goodenough,John B., Hong,Henry Y-P., Kafalas,James A., Dwight,Kirby
A new three-dimensional K(+)-ion conductor, K(1.9)Mg(0.95)Si(1.05)O(4) has been identified. Its resistivity at 300C is 28 ohm-cm, less than one-fourth the value for the best potassium beta-alumina....
Goodenough,John B., McGowan,Clement L., Kelly,John R.
This report evaluates how well ALGOL 68, JOVIAL J3B, PASCAL, SIMULA 67, and TACPOL satisfy the Department of Defense requirements for high order computer programming languages. (Author)
Simulation Higher Order Language Requirements Study. (2002)
Goodenough,John B., Braun,Christine L.
This report defines high order language requirements for programming flight training simulators. These requirements were determined by analyzing programs written for a variety of simulators. Examples...
Felty,James L., Kelly,John R., Goodenough,John B., Shafer,Lawrence H.
The HOL investigation was a two year effort to determine communications high-order language requirements and define modifications to an existing language to be suitable for these requirements....
Rate Monotonic Analysis for Real-Time Systems (2002)
Sha, Lui, Klein, Mark H., Goodenough, John B.
The essential goal of the Rate Monotonic Analysis (RMA) for Real-Time Systems Project at the Software Engineering Institute is to catalyze improvement in the practice of real time systems...
Low-temperature Kerr spectroscopy on half-metallic Sr2FeMoO6 (2000)
Rüdiger, Ulrich, Rabe, M., Güntherodt, Gernot, Yin, H. Q., Dass, Ronald I., Goodenough, John B.
The polar Kerr rotation and ellipticity spectra of epitaxially grown (001)-oriented half-metallic Sr2FeMoO6 thin films have been determined in the photon energy range from 1.2 to 4.9 eV. The Kerr...
Goodenough,John B., Ross,Douglas T.
The report is part of a study aimed at determining what programming language features, compiler capabilities, support tools, and program design disciplines are needed to produce reliable, easy to...
Goodenough,John B., Zara,Robert V.
This report discusses program structuring concepts and language features that enhance reusability, modifiability, and reliability. The authors have studied these issues by analyzing and restructuring...
MAIDS Study Language Processing Technology. (1998)
Eanes, R. Sterling, Goodenough, John B.
This report contains an analysis of the current state of language processing technology. This analysis points out the significant technological gaps relating to MAIDS (Multipurpose Automatic...
TMDE Task 05, Information Dynamics. MAIDS Study System Organization Technology. (1998)
Goodenough, John B., Ross, Douglas T.
System organization is an issue which relates to how one should design software systems that will be able to take advantage of differing underlying machine organizations and be adaptable to meet...
TMDE Task 05, Information Dynamics. MAIDS Study Program Testing and Diagnosis Technology. (1998)
Goodenough, John B., Eanes, R. Sterling
This report deals with methods for discovering errors in software and determining their source so that the errors may be corrected, and methods for insuring the reliability and maintainability of...
New Materials for Electrochemical Cells. (1998)
Goodenough,John B., Dickens,P. G.
The research had two main aims: (i) determination of the thermochemical, structural and electrochemical properties of insertion compounds and materials showing mixed electronic/ionic conduction, and...
The Ada (Trade Name) Compiler Validation Capability Implementers' Guide. Version 1, (1998)
The primary purpose of the Ada Compiler Validation Capability (ACVC ) is to help decide whether Ada translators conform to ANSI/MIL-STD-1815A-1983, 'The Reference Manual for the Ada Language' (the...
Real-Time Scheduling Theory and Ada. (1998)
The Ada tasking model represents a fundamental departure from the cyclical executive model. Indeed, the dynamic preemption of tasks at runtime generates non=deterministic timelines that are at odds...
A Practical Application of the Ceiling Protocol in a Real-Time System. (1998)
Locke, C. D., Goodenough, John B.
This position paper explores the application of a new priority management protocol for bringing a heretofore unknown level of response time predictability to the design of real-time programs in Ada....
The priority ceiling protocol is a new technique that addresses the priority inversion problem, i.e., the possibility that a high-priority task can be delayed by a low-priority task. Under the...
Real-Time Scheduling Theory and Ada. (1998)
The Ada tasking model was intended to support the management of concurrency in a priority-driven scheduling environment. In this paper, we review some important results of a priority-based scheduling...
New Materials for Electrochemical Cells. (1998)
Goodenough, John B., Dickens, Peter G.
Determination of the thermochemical, structural and basic electrochemical properties of mixed electronic/ionic conductors was successfully carried out on the following systems: H(x)MoO3, Li(x)V2O5,...
Ada 9X Project Report, The Fixed-Point Facility in Ada. (1998)
Dewar, Robert B., Goodenough, John B.
This report addresses a number of issues involving fixed-point arithmetic in Ada. A number of possible Ada 9X requirements are suggested for consideration. Ada includes a facility for declaration of...
Ada 9X Project Report, A Study of Implementation-Dependent Pragmas and Attributes in Ada. (1998)
Fowler, Kenneth J., Goodenough, John B.
The Ada Standard describes an assortment of pragmas and attributes that a compiler must support. A compiler may add other pragmas and attributes as long as the legality of the program is not...
Ada 9X Project Report. Character Set Issues for Ada 9X. (1998)
Brender, Ronald F., Goodenough, John B.
Issues and design considerations relevant to the introduction of large and/or multiple coded character sets in the Ada language definition are presented. Emphasis is on identifying and understanding...
Ada 9X Project Report, Shared Variables and Ada 9X Issues. (1998)
Dewar, Robert B., Goodenough, John B.
Contents: (1) Shared Variables and Ada 9X Issues; (2) Use of Shared Variables for Synchronization; (3) Use of Shared Variables for Memory Mapped Input/Output; (4) The Independence Problem for Shared...
Ada Validation Tests for Rate Monotonic Scheduling Algorithms. (1998)
Kohout, Keith A., Meyer, Kent, Goodenough, John B.
This report presents a set of tests for checking whether an Ada runtime system properly supports certain rate monotonic scheduling algorithms, specifically, the basic inheritance and priority ceiling...
Ada Adoption Handbook: A Program Manager's Guide, Version 2.0. (1998)
Hefley, William E., Foreman, John T., Engle Jr, Charles B., Goodenough, John B.
The 'Ada Adoption Handbook provides program managers with information about how best to tap Ada's strengths and manage the transition to fully using this software technology. Although the issues are...
Improving Stabilized Zirconia With Strontium Gallate. (1998)
Feng, Man, Goodenough, John B.
Use of Sr2Ga2O5 as a sintering aid in the synthesis of polycrystalline yttria-stabilized zirconia yields well-sintered samples at 1350 C; it also essentially eliminates the grain boundary resistance....
Lui Sha, John B. Goodenough, Bill Pollak
Abstract: Since the end of the cold war and the downsizing of military budgets, it has been more important than ever that mission-critical systems be reliable, affordable, and capable of evolving to...
William E. Hefley, John T. Foreman, Charles B. Engle, John B. Goodenough, William E. Hefley, John T. Foreman, ...
The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.
Real-time scheduling theory and ADA (1990)
Lui Sha, Lui Sha, John B. Goodenough, John B. Goodenough
Approved for public release. Distribution unlimited. JPO approval signature on file.
Real-time scheduling theory and ADA (1990)
Lui Sha, Lui Sha, John B. Goodenough, John B. Goodenough, Thomas R. Miller, Lt Col, ...
The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange. FOR THE COMMANDER...
High-priority Ada Tasks, John B. Goodenough, John B. Goodenough, Lui Sha, Lui Sha, Thomas R. Miller, ...
The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange. FOR THE COMMANDER...
SUSAN ANDERSON, EDWIN C. CONSTABLE, MARTIN P. DARE-EDWARDS, JOHN B. GOODENOUGH, ANDREW HAMNETT, KENNETH R. SEDDON, ...
After a brief reference to the physical basis for a tetragonal distortion (c/a > 1) of an octahedral anion interstice which is occupied by a cation with outer-electron configuration 3d4, the...
After a brief reference to the physical basis for a tetragonal distortion (c/a > 1) of an octahedral anion interstice which is occupied by a cation with outer-electron configuration 3d4, the...
After a brief reference to the physical basis for a tetragonal distortion (c/a > 1) of an octahedral anion interstice which is occupied by a cation with outer-electron configuration 3d4, the...