NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 473
  • 85
  • 80
  • 20
  • 10
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • Tagged with
  • 833
  • 833
  • 186
  • 173
  • 161
  • 124
  • 121
  • 119
  • 117
  • 101
  • 96
  • 94
  • 83
  • 83
  • 79
  • 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 351 to 360 of 833 (0.07 seconds)
351

A parallel map overlay algorithm for vector data /

Frankel, Andras, January 1900 (has links)
Thesis (M.C.S.)--Carleton University, 2004. / Includes bibliographical references (p. 89-94). Also available in electronic format on the Internet.
352

Load sharing in call server clusters /

Muhammad, Asif. January 1900 (has links)
Thesis (M.App.Sc.) - Carleton University, 2005. / Includes bibliographical references (p. 111-114). Also available in electronic format on the Internet.
353

An integrated software/hardware approach to detecting memory bounds violations

Gilgeous, Latoya Tabita. January 2007 (has links)
Thesis (M.S.)--State University of New York at Binghamton, Thomas J. Watson School of Engineering and Applied Science, Department of Electrical and Computer Engineering, 2007. / Includes bibliographical references.
354

Design and implementation of an asynchronous version of the MIPS R3000 microprocessor /

Johnson, Kevin. January 1994 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1994. / Typescript. Includes bibliographical references (leaves 80-81).
355

VHDL modeling and design of an asynchronous version of the MIPS R3000 microprocessor /

Fanelli, Paul. January 1994 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1994. / Typescript. Includes bibliographical references (leaves 124-125).
356

Enabling programmable ubiquitous computing environments the DAIS middleware /

Kabadayi, Sanem. January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2008. / Vita. Includes bibliographical references.
357

Runtime verification of composite web services

John, Sheline Anna, January 2008 (has links)
Thesis (M.S.)--University of Texas at El Paso, 2008. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.
358

Breaking away from the OS shadow a program execution model aware thread virtual machine for multicore architectures /

Cuvillo, Juan del. January 2008 (has links)
Thesis (Ph.D.)--University of Delaware, 2008. / Principal faculty advisor: Guang R. Gao, Dept. of Electrical and Computer Engineering. Includes bibliographical references.
359

Investigating new design alternatives for a radix-2 modular multiplier kernal and I/O subsystem /

Chaitheerayanon, Akekalak. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2004. / Printout. Includes bibliographical references (leaves 63-64). Also available on the World Wide Web.
360

A modular model checking algorithm for cyclic feature compositions

Wang, Xiaoning. January 2004 (has links)
Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: modular verification; feature-oriented software development; model checking; assume-guarantee reasoning. Includes bibliographical references (p. 72-73).

Page generated in 0.0742 seconds