- 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 361 to 370 of 832 (0.077 seconds)| 361 |
A modular model checking algorithm for cyclic feature compositionsWang, 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).
|
| 362 |
OS-aware architecture for improving microprocessor performance and energy efficiencyLi, Tao, John, Lizy Kurian, January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Lizy K. John. Vita. Includes bibliographical references. Also available from UMI.
|
| 363 |
Simulating organizational decision-making using a cognitively realistic agent model /Naveh-Benjamin, Yizchak. January 2004 (has links)
Thesis (M.S.)--University of Missouri-Columbia, 2004. / Typescript. Includes bibliographical references (leaves 59-64). Also available on the Internet.
|
| 364 |
Architecture design methods for application domain-specific integrated computer systems /Soininen, Juha-Pekka. January 1900 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2004. / Includes bibliographical references. Also available on the World Wide Web.
|
| 365 |
A fundamental study on prototyping flexible computing systems /Xing, Shanzhen. January 1999 (has links)
Thesis (Ph. D.)--University of Hong Kong, 1999. / Includes bibliographical references.
|
| 366 |
Dynamic system reconfiguration /Walsh, D'Arcy January 1900 (has links)
Thesis (Ph.D.) - Carleton University, 2007. / Includes bibliographical references (p. 330-335). Also available in electronic format on the Internet.
|
| 367 |
Grid-enabled software conferencing for the SIP-RTI runtime infrastructure /Ren, Jin Kai. January 1900 (has links)
Thesis (M.C.S.) - Carleton University, 2007. / Includes bibliographical references (p. 74-77). Also available in electronic format on the Internet.
|
| 368 |
A model driven architecture based approach for developing multi-agent systems : a thesis submitted in partial fulfilment of the requirements for the degree of Master of Science in Computer Science in the University of Canterbury /Zhou, Di. January 2008 (has links)
Thesis (M. Sc.)--University of Canterbury, 2008. / Typescript (photocopy). Includes bibliographical references (p. 104-111). Also available via the World Wide Web.
|
| 369 |
Efficient fault tolerance for pipelined structures and its application to superscalar and dataflow machinesMizan, Elias, January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2008. / Vita. Includes bibliographical references.
|
| 370 |
The Hybrid Architecture Parallel Fast Fourier Transform (HAPFFT) /Palmer, Joseph McRae, January 2005 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Electrical and Computer Engineering, 2005. / Includes bibliographical references (p. 89-91).
|
Page generated in 0.0823 seconds