NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 754
  • 350
  • 73
  • 73
  • 73
  • 73
  • 73
  • 72
  • 48
  • 31
  • 9
  • 5
  • 5
  • 4
  • 3
  • Tagged with
  • 1704
  • 1704
  • 271
  • 254
  • 245
  • 209
  • 186
  • 186
  • 175
  • 168
  • 145
  • 138
  • 137
  • 128
  • 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.

Search results

Showing 831 to 840 of 1704 (0.05 seconds)

Spelling suggestions: "subject:"computer barograms"" "subject:"computer _programs""

831

Reducing the costs of comparisons within conditional transfers of control

Kreahling, William C. Whalley, David B. January 2005 (has links)
Thesis (Ph. D.)--Florida State University, 2005. / Advisor: Dr. David Whalley, Florida State University, College of Arts and Sciences, Dept. of Computer Science. Title and description from dissertation home page (viewed Sept. 19, 2005). Document formatted into pages; contains xii, 96 pages. Includes bibliographical references.
832

Reducing the WCET of applications on low end embedded systems

Zhao, Wankang, Whalley, David B. January 2005 (has links)
Thesis (Ph. D.)--Florida State University, 2005. / Advisor: Dr. David Whalley, Florida State University, College of Arts and Sciences, Dept. of Computer Science. Title and description from dissertation home page (viewed Sept. 29, 2005). Document formatted into pages; contains viii, 95 pages. Includes bibliographical references.
833

Automatic differentiation of computer programs and a posteriori error bounds for two-point boundary value problems

Kedem, Gershon. January 1978 (has links)
Thesis--Wisconsin. / Vita. Includes bibliographical references (leaves 103-106).
834

Using theorem proving and algorithmic decision procedures for large-scale system verification

Ray, Sandip, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Vita. Includes bibliographical references.
835

Implementation of Microsoft's Virtual PC in networking curriculum

Yulga, James. January 2006 (has links) (PDF)
Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2006. / Title from PDF title page (viewed on Aug. 30, 2006). Includes bibliographical references.
836

Real time cloth modeling using parallel computing /

Luo, Zegang. January 2005 (has links)
Thesis (Ph.D.)--Hong Kong University of Science and Technology, 2005. / Includes bibliographical references (leaves 112-123). Also available in electronic version.
837

Compiler directed speculation for embedded clustered EPIC machines

Pillai, Satish, Jacome, Margarida F., January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Margarida F. Jacome. Vita. Includes bibliographical references.
838

Improving the reliability of commodity operating systems /

Swift, Michael M. January 2005 (has links)
Thesis (Ph. D.)--University of Washington, 2005. / Vita. Includes bibliographical references (p. 137-154).
839

Instruction fetching, scheduling, and forwarding in a dynamic multithreaded processor /

Browning, Adam W. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2007. / Printout. Includes bibliographical references (leaves 36-37). Also available on the World Wide Web.
840

Parallelization and performance optimization of bioinformatics and biomedical applications targeted to advanced computer architectures

Niu, Yanwei. January 2005 (has links)
Thesis (Ph.D.)--University of Delaware, 2005. / Principal faculty advisors: Kenneth E. Barner and Guang Gao, Dept. of Electrical and Computer Engineering. Includes bibliographical references.

Page generated in 0.0638 seconds