• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 745
  • 350
  • 73
  • 73
  • 73
  • 73
  • 73
  • 72
  • 48
  • 31
  • 9
  • 5
  • 5
  • 4
  • 3
  • Tagged with
  • 1694
  • 1694
  • 271
  • 253
  • 236
  • 208
  • 186
  • 185
  • 173
  • 166
  • 145
  • 138
  • 137
  • 126
  • 125
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
201

Is there a shortage of computer programmers/systems analysts? an examination of the empirical evidence /

Anderson, Steven Schuyler. January 1990 (has links) (PDF)
Thesis (M.S. in Information Systems)--Naval Postgraduate School, September1990. / Thesis Advisor(s): Haga, William J. Second Reader: Mehay, Stephen L. "September 1990." Description based on title screen viewed on December 16, 2009. DTIC Descriptor(s): Computer personnel, shortages, programmers, analysts, systems analysis, theses, computers, specialists. DTIC Identifier(s): Computer programs, systems analysis, specialists, shortages, theses. Author(s) subject terms: Programmer, systems analysis, shortage, shortfall. Includes bibliographical references (p. 29-30). Also available in print.
202

Design and implementation of a prototype microcomputer database management system for the standardization of data elements for the Department of Defense

Bacheller, John S. January 1990 (has links) (PDF)
Thesis (M.S. in Information Systems)--Naval Postgraduate School, September 1990. / Thesis Advisor(s): Dolk, Daniel R. Second Reader:Kamel, Magdi N. "September 1990." Description based on title screen viewed on December 16, 2009. DTIC Descriptor(s): Fields(computer programs), management information systems, standardization, department of defense, systems engineering, data management, theses, prototypes, sharing, microcomputers, hierarchies, viewers, requirements, dictionaries, data bases, functions. Author(s) subject terms: Data management standardization, data element dictionary, data element standardization, object oriented, logical design, application design. Includes bibliographical references (p. 237). Also available in print.
203

Economic analysis of alternatives for PC upgrade of OR Department laboratory

Chen, Lung-Shan. January 1990 (has links) (PDF)
Thesis (M.S. in Operations Research)--Naval Postgraduate School, September 1990. / Thesis Advisor(s): Halwachs, Thomas E. Second Reader: Sovereign, Michael G. "September 2009." Description based on title screen viewed on December 17, 2009. DTIC Descriptor(s): Computer programs, cost effectiveness, economics, parameters, compatibility, public opinion, costs, availability, laboratories, operations research, microcomputers, economic analysis, reduction. DTIC Identifier(s): Economic analysis, personal computers, present value, cash flow diagram, discount rate, system effectiveness analysis, system performance, sensitivity analysis, sensitive, insensitive, life cycle costs. Author(s) subject terms: Present Value (P.V.), Cash flow diagram, Life-Cycle-Cost (L.C.C.), Discount rate, system-effectiveness analysis, system performance, break-even analysis, sensitivity analysis, sensitive, insensitive. Includes bibliographical references (p. 72-73). Also available in print.
204

Algorithms for compiler-assisted design space exploration of clustered VLIW ASIP datapaths /

Lapinskii, Viktor, January 2001 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references (leaves 72-77). Available also in a digital version from Dissertation Abstracts.
205

Techniques for formal verification of concurrent and distributed program traces

Sen, Mehmet Alper 28 August 2008 (has links)
Not available / text
206

Formal verification of computer controlled systems

Harutunian, Shant 28 August 2008 (has links)
Not available / text
207

Braids: out-of-order performance with almost in-order complexity / Out-of-order performance with almost in-order complexity

Tseng, Francis, 1976- 29 August 2008 (has links)
Not available
208

Symbolic model checking techniques for BDD-based planning in distributed environments

Goel, Anuj, 1973- 04 May 2011 (has links)
Not available / text
209

Formal verification of computer controlled systems

Harutunian, Shant 19 August 2011 (has links)
Not available / text
210

SUBCRITICAL AND SUPERCRITICAL AIRFOILS FOR GIVEN PRESSURE DISTRIBUTIONS

Hassan Eissa, Ahmed Abdelatif January 1981 (has links)
An effective method, based on hodograph theory, has been developed for the aerodynamic design of subcritical and shock-free supercritical airfoil sections. In addition to the free-stream conditions, the input to the design procedure includes a prescription of the subsonic part of a target pressure distribution and, for supercritical airfoils, of a presumed stream function on the sonic line. A computer program carries out a number of sequential steps that result in an airfoil with a pressure distribution close to that desired at little computational cost. Thus, the airfoil designer can alter the input if design goals are not met and quickly produce another candidate airfoil. This is aided by appropriate graphic display of the airfoil and its pressure distribution.

Page generated in 0.0654 seconds