Search
Now showing items 1-10 of 1352
Symbolic methods in simulation-based verification
(2002)
This dissertation conducts research in automating the design of digital hard- ware. Specifically we apply symbolic methods in simulation-based functional ver- ification. Simulation, due to its simplicity and close coupling ...
Supporting rate adaptive multimedia streams on the Internet
(2003)
This thesis investigates the feasibility of using rate adaptation, i.e., selective service degradation, as a mechanism for achieving various system level Quality of Service (QoS) targets on communication networks. In ...
Built-in performance characterization of embedded mixed-signal circuits
(2006)
Recent advances in semiconductor technologies enable the integration of previously disparate designs into a single system-on-chip (SOC). While the SOC offers significant benefits in reducing overall design cost, it poses ...
A study on the material and device characteristics of hafnium oxynitride MOSFETs with TaN gate electrodes
(2004)
HfO2 have been under intense investigation for gate dielectric application into the 70 nm technology nodes and beyond to replace conventional SiO2 or oxynitrides since it possesses a dielectric constant of 22 – 25, a large ...
Probabilistic model-based clustering of complex data
(2003)
In many emerging data mining applications, one needs to cluster complex data such as very high-dimensional sparse text documents and continuous or dis- crete time sequences. Probabilistic model-based clustering techniques ...
Electrodynamics of a hypervelocity surface conversion process using electromagnetic accelerators
(2003)
The U.S. Government and commercial entities are dependent on chemical plating and coating processes to replace worn or eroded material on damaged parts. Logistics Centers have been forced to consider replacement materials ...
Three-dimensional Monte Carlo simulation of ion implantation
(2002)
A physically-based 3-dimensional Monte-Carlo simulator has been developed within UT-MARLOWE, which is capable of simulating ion implantation into multi-material systems and arbitrary topography. Introducing the third ...
Approaches and evaluation of architectures for chemical and biological sensing based on organic thin-film field-effect transistors and immobilized ion channels integrated with silicon solid-state devices
(2007)
There is significant need to improve the sensitivity and selectivity for detecting chemical and biological agents. This need exists in a myriad of human endeavors, from the monitoring of production of consumer products to ...
Improving timing verification and delay testing methodologies for IC designs
(2005)
The task of ensuring the correct temporal behavior of IC designs,
both before and after fabrication, is extremely important. It is becoming
even more imperative as the demand for performance increases and process
technology ...
Metal-oxide-semiconductor devices based on epitaxial germanium-carbon layers grown directly on silicon substrates by ultra-high-vacuum chemical vapor deposition
(2006)
After the integrated circuit was invented in 1959, complementary metal-oxidesemiconductor
(CMOS) technology soon became the mainstay of the semiconductor
industry. Silicon-based CMOS has dominated logic technologies for ...
