- 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 211 to 220 of 1784 (0.068 seconds)| 211 |
Assertion-checker synthesis for hardware verification, in-circuit debugging and on-line monitoringBoulé, Marc. January 1900 (has links)
Thesis (Ph.D.). / Written for the Dept. of Electrical and Computer Engineering. Title from title page of PDF (viewed 2008/05/09). Includes bibliographical references.
|
| 212 |
Optimization techniques for distributed Verilog simulationLi, Lijun, January 1900 (has links)
Thesis (Ph.D.). / Written for the School of Computer Science. Title from title page of PDF (viewed 2008/02/12). Includes bibliographical references.
|
| 213 |
Aspects of hardware methodologies for the NTRU public-key cryptosystem /Wilhelm, Kyle. January 2008 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 2008. / Typescript. Includes bibliographical references (p. 69-72).
|
| 214 |
Hazard detection with VHDL in combinational logic circuits with fixed delays /Chu, Ming-Cheung, January 1992 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1992. / Vita. Abstract. Includes bibliographical references (leaves 181-182). Also available via the Internet.
|
| 215 |
Representation and simulation of a high level language using VHDL /Edwards, Carleen Marie, January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 56-57). Also available via the Internet.
|
| 216 |
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).
|
| 217 |
Behavioral delay fault modeling and test generation /Joshi, Anand Mukund, January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 165-169). Also available via the Internet.
|
| 218 |
A defense of Frank Jackson's two-dimensional analysis of the necessary a posteriori from Scott Soames' anti-two-dimensionalist attacksMorris, Brendan. January 1900 (has links)
Honors Thesis (Philosophy)--Oberlin College, 2008. / "April 27, 2008." Includes bibliographical references.
|
| 219 |
A library of general-purpose action descriptionsErdoğan, Selim Turhan, January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2008. / Vita. Includes bibliographical references.
|
| 220 |
Algebraic specification and verification of processor microarchitectures /Matthews, John Robert, January 2000 (has links)
Thesis (Ph. D.)--Oregon Graduate Institute, 2000.
|
Page generated in 0.0716 seconds