As device sizes decrease, more functionality can be placed in an integrated circuit. Therefore, the design complexity of these circuits increases. To deal with complexity, designers move to higher abstraction levels. Currently, the highest abstraction level is the system-level. In our work we investigate the synthesis and verification problem at...
This thesis focuses on resource allocation in wireless communication and networking. Resource allocation has been studied widely, for example, to maximize the system-wide throughput or to minimize the average delay per user. Moreover, the utility-based framework is becoming an important tool for addressing fairness and Quality-of-Service (QoS) for individual users....
Atrial fibrillation (AF) is the most common supraventricular tachyarrhythmia and its prevalence is expected to increase with the aging population. However, the mechanisms AF initiation, maintenance and termination are not completely understood. The surface electrocardiogram (ECG) characteristics are a direct reflection of pathophysiologic events in the atria and can be...
As technology moves into deep submicron and nanoscale era, undesirable trends such as increasing power density, leakage power, and temperature variation within chips have made thermal effects emerge as a major bottleneck in further technology scaling. Thermal effects are no longer considered as just a reliability issue, but it also...
Next generation of high performance nano-optoelectronic integrated circuits will require an integral combination of highly efficient all-optical nanophotonic devices and electrically-pumped nanophotonic devices, which will enable the chip to process optical information all optically with ultrafast speed and electro-optically to interface with the electronic control plane. The realizations of such...
The rapid growth of digital imaging technology and the accumulation of large collections of digital images has created the need for efficient and intelligent schemes for content-based image retrieval. Our goal is to organize the contents semantically, according to meaningful categories. We present a new approach for semantic classification that...