Search
Now showing items 351-360 of 671
A Refinement-Based Methodology for Verifying Abstract Data Type Implementations
(2018-06-21)
This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) implementations. We provide a framework for proving the functional correctness of imperative language implementations of ...
Relay Selection for Geographical Forwarding in Sleep-Wake Cycling Wireless Sensor Networks
(2018-04-11)
Advances in wireless communication and microelectronics have led to the development of low-power compact sensor nodes (popularly called motes) that are capable of sensing, computing, and communication. A large number of ...
Low-Complexity Receiver Algorithms in Large-Scale Multiuser MIMO Systems and Generalized Spatial Modulation
(2018-04-18)
Multi-antenna wireless systems have become very popular due to their theoretically predicted higher spectral efficiencies and improved performance compared to single-antenna systems. Large-scale multiple-input multiple-output ...
NoC Design & Optimization of Multicore Media Processors
(2018-03-22)
Network on Chips[1][2][3][4] are critical elements of modern System on Chip(SoC) as well as Chip Multiprocessor(CMP)designs. Network on Chips (NoCs) help manage high complexity of designing large chips by decoupling ...
Design and Development of a Passive Infra-Red-Based Sensor Platform for Outdoor Deployment
(2018-04-23)
This thesis presents the development of a Sensor Tower Platform (STP) comprised of an array of Passive Infra-Red (PIR) sensors along with a classification algorithm that enables the STP to distinguish between human intrusion, ...
Variability Aware Device Modeling and Circuit Design in 45nm Analog CMOS Technology
(2018-05-10)
Process variability is a major challenge for the design of nano scale MOSFETs due to fundamental physical limits as well as process control limitations. As the size of the devices is scales down to improve performance, the ...
Substrate Independent Non-covalent Based Surface Functionalization Using Poyelectrolyte Multilayers for Bio-applications
(2018-04-23)
The electrostatic layer-by-layer (LbL) self-assembly of polyelectrolyte’s has shown applications in thin film coatings, micro patterning, nano-bioreactors and capsules for drug delivery. The film architecture can be precisely ...
Multi-Antenna Communication Receivers Using Metaheuristics and Machine Learning Algorithms
(2018-04-23)
In this thesis, our focus is on low-complexity, high-performance detection algorithms for multi-antenna communication receivers. A key contribution in this thesis is the demonstration that efficient algorithms from ...
Cooperative Communication and QoS in Infrastructure WLANs
(2018-05-08)
IEEE 802.11 wireless LANs operating in the infrastructure mode are extremely popular and have seen widespread deployment because of their convenience and cost efficiency. A large number of research studies have investigated ...
Grassmannian Fusion Frames for Block Sparse Recovery and Its Application to Burst Error Correction
(2018-05-01)
Fusion frames and block sparse recovery are of interest in signal processing and communication applications. In these applications it is required that the fusion frame have some desirable properties. One such requirement ...