The gamlog computer program /

"September 1962."

Affirmative action programs.

A collection of photocopies of documents, chiefly from university libraries, assembled by the Systems and Procedures Exchange Center, and accompanied by SPEC flyer no. 67, Sept. 1980.

Report of Secretary of Defense ... to the Congress on the FY ... budget, FY ... authorization request, and FY ... defense programs.

Title varies slightly.

Library publications programs /

"June 1988."

Brittle books programs.

Cover title.

Standards for school library/media programs, 1972-75.

In cooperation with the Joint Standards Committee.

Investigation of possible abuses of FHA mortgage programs in Milwaukee : hearing before the Subcommittee on Housing and Community Development of the Committee on Banking, Finance, and Urban Affairs, House of Representatives, Ninety-eighth Congress, second session, October 8, 1984, Milwaukee, WI.

Item 1013-A, 1013-B (microfiche)

Computer contribution.

GeoRef

Public libraries and the Internet : study results, policy issues, and recommendations /

Mode of access: Internet.

A computer network protocol for library and information science applications /

Mode of access: Internet.

Native Hawaiian education reauthorization : hearing before the Committee on Indian Affairs, United States Senate, One Hundred Sixth Congress, first session, on S. 1767, to amend the Elementary and Secondary Education Act of 1965 to improve native Hawaiian education programs ....

Shipping list no.: 2000-0215-P (pt. 1).

Five-year report of library services through Major Urban Resource Libraries (MURLs) and metropolitan public libraries serving as national or regional resource centers, fiscal year 1984-fiscal year 1988 /

Item 461-D-5

Mechanical alloying of MoSi2 with ternary alloying elements. Part 2 - computer simulation

A computer model of the mechanical alloying process has been developed to simulate phase formation during the mechanical alloying of Mo and Si elemental powders with a ternary addition of Al, Mg, Ti or Zr. Using the Arhennius equation, the model balances the formation rates of the competing reactions that are observed during milling. These reactions include the formation of tetragonal C11(b) MOSi2 (t-MoSi2) by combustion, the formation of the hexagonal C40 MoSi2 polymorph (h-MoSi2), the transformation of the tetragonal to the hexagonal form, and the recovery of t-MoSi2 from h-MoSi2 and deformed t-MoSi2. The addition of the ternary additions changes the free energy of formation of the associated MoSi2 alloys, i.e. Mo(Si, Al)(2), Mo(Mg, Al)(2), (Mo, Ti)Si-2 (Mo, Zr)Si-2 and (Mo, Fe)Si-2, respectively. Variation of the energy of formation alone is sufficient for the simulation to accurately model the observed phase formation. (C) 2003 Elsevier B.V. All rights reserved.

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Progress in deriving concurrent programs: Emphasizing the role of stable guards

We present some techniques to obtain smooth derivations of concurrent programs that address both safety and progress in a formal manner. Our techniques form an extension to the calculational method of Feijen and van Casteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.