Browsing Electrical and Computer Engineering by Title
Now showing items 169-188 of 1874
-
Bounded Model Checking of Industrial Code
(University of Waterloo, 2021-09-14)Abstract: Bounded Model Checking(BMC) is an effective and precise static analysis technique that reduces program verification to satisfiability (SAT) solving. However, with a few exceptions, BMC is not actively used in ... -
Bounds and Approximations for Stochastic Fluid Networks
(University of Waterloo, 2011-08-12)The success of modern networked systems has led to an increased reliance and greater demand of their services. To ensure that the next generation of networks meet these demands, it is critical that the behaviour and ... -
Brain Tumor Diagnosis Support System: A decision Fusion Framework
(University of Waterloo, 2022-01-21)An important factor in providing effective and efficient therapy for brain tumors is early and accurate detection, which can increase survival rates. Current image-based tumor detection and diagnosis techniques are heavily ... -
Breast Cancer Detection Using Microwaves and Microwave-Thermography Techniques
(University of Waterloo, 2021-11-16)The accelerated growth in Microwave Imaging (MWI) and Microwave Detection (MWD) is driven by microwave ability to penetrate materials that are considered opaque at a shorter wavelength. This elevates MWI potential to ... -
Broadband Antireflection Coverglass for CubeSats
(University of Waterloo, 2018-08-31)A CubeSat is a type of miniaturized and modular satellite designed for space research or technology demonstration. By filling the unused capacity of major launch vehicles, CubeSats significantly lower the cost of entry to ... -
Broadband Doherty Power Amplifier using Symmetrical GaN Transistors
(University of Waterloo, 2015-01-05)The wireless industry has seen a tremendous growth in its users over the last decade. This has led the industry to adapt a number of new standards allowing for better use of the scarce and often very fragmented frequency ... -
Broadband Doherty Power Amplifiers with Enhanced Linearity for Emerging Radio Transmitters
(University of Waterloo, 2016-01-22)The ever-increasing demand for utilizing wireless spectra has led to development of spectrally efficient radio systems. While these systems offer much higher data throughput, they employ more sophisticated modulation ... -
Broadband Linearity-Enhanced Doherty Power Amplifier Design Techniques for 5G Sub-6 GHz Applications
(University of Waterloo, 2021-08-27)The recently deployed fifth generation (5G) cellular networks represent a significant technological advancement over fourth generation (4G) networks. Specifically, new 5G frequency bands were allocated at sub-6 GHz and ... -
Building Scalable and Consistent Distributed Databases Under Conflicts
(University of Waterloo, 2018-04-12)Distributed databases, which rely on redundant and distributed storage across multiple servers, are able to provide mission-critical data management services at large scale. Parallelism is the key to the scalability of ... -
Cache Coherency for Symmetric Multiprocessor Systems on Programmable Chips
(University of Waterloo, 2004)Rapid progress in the area of Field-Programmable Gate Arrays (FPGAs) has led to the availability of softcore processors that are simple to use, and can enable the development of a fully working system in minutes. This ... -
CAD Techniques for Robust FPGA Design Under Variability
(University of Waterloo, 2010-09-01)The imperfections in the semiconductor fabrication process and uncertainty in operating environment of VLSI circuits have emerged as critical challenges for the semiconductor industry. These are generally termed as process ... -
Capacity analysis in different systems exploiting mobility of VANETs
(University of Waterloo, 2015-04-22)Improving road safety and traffic efficiency has been a long-term endeavor for not only government but also automobile industry and academia. After the U.S. Federal Communication Commission (FCC) allocated a 75 MHz spectrum ... -
Capacity Characterization of a MIMO-OFDM Wireless Channel with BLAST Implementation
(University of Waterloo, 2010-08-31)As the data rates and performance of current telecommunications technologies reach their limits, MIMO offers promising results allowing for higher spectral efficiencies (or capacities) through the use of multiple element ... -
Capacity Results for Interference Networks and Nested Cut-Set Bound
(University of Waterloo, 2016-09-20)In this thesis, a full characterization of the sum-rate capacity for degraded interference networks with any number of transmitters, any number of receivers, and any possible distribution of messages among transmitters and ... -
Capacity Scaling and Optimal Operation of Wireless Networks
(University of Waterloo, 2008-07-24)How much information can be transferred over a wireless network and what is the optimal strategy for the operation of such network? This thesis tries to answer some of these questions from an information theoretic ... -
Capacity-Achieving Distributions of Gaussian Multiple Access Channel with Peak Constraints
(University of Waterloo, 2013-01-21)Characterizing probability distribution function for the input of a communication channel that achieves the maximum possible data rate is one of the most fundamental problems in the field of information theory. In his ... -
Cardinality Constrained Robust Optimization Applied to a Class of Interval Observers
(University of Waterloo, 2013-09-25)Observers are used in the monitoring and control of dynamical systems to deduce the values of unmeasured states. Designing an observer requires having an accurate model of the plant — if the model parameters are characterized ... -
Cardinality Constrained Robust Optimization Applied to a Class of Interval Observers
(IEEE, 2014-07-21)We propose a linear programming-based method of interval observer design for systems with uncertain but bounded model parameters and initial conditions. We assume that each uncertain parameter in the system model is bounded ... -
Categorization and Detection of Energy Bugs and Application Tail Energy Bugs in Smartphones
(University of Waterloo, 2016-09-16)Smartphones are the most ubiquitous and popular hand-held devices because of their rich set of features and wide variety of services. However, their daily use is hampered by their high energy consumption, which forces ... -
CDCL(Crypto) and Machine Learning based SAT Solvers for Cryptanalysis
(University of Waterloo, 2020-05-15)Over the last two decades, we have seen a dramatic improvement in the efficiency of conflict-driven clause-learning Boolean satisfiability (CDCL SAT) solvers over industrial problems from a variety of applications such as ...