Browsing Electrical and Computer Engineering by Title
Now showing items 1740-1759 of 1969
-
StarMX: A Framework for Developing Self-Managing Software Systems
(University of Waterloo, 2009-09-25)The scale of computing systems has extensively grown over the past few decades in order to satisfy emerging business requirements. As a result of this evolution, the complexity of these systems has increased significantly, ... -
State Estimation in Power Distribution Systems
(University of Waterloo, 2017-12-19)State estimation in power distribution systems is a key component for increased reliability and optimal system performance. Well understood in transmission systems, state estimation is now an area of active research in ... -
Static Verification of an Implementation of 5G-AKA
(University of Waterloo, 2023-04-24)Computer-aided cryptography offers a variety of tools that are essential for ensuring the security of cryptographic protocols. These tools can assist in designing the protocol, verifying its correctness during implementation, ... -
Statistical Filtering for Multimodal Mobility Modeling in Cyber Physical Systems
(University of Waterloo, 2013-03-28)A Cyber-Physical System integrates computations and dynamics of physical processes. It is an engineering discipline focused on technology with a strong foundation in mathematical abstractions. It shares many of these ... -
Statistical Variability Analysis of SilGeo
(University of Waterloo, 2023-12-18)The electronics manufacturing and supply industry is rife with the unchecked circulation of counterfeit and tampered components. Although developments have been made to counter this issue, the methods often involve visual ... -
Statistical Yield Analysis and Design for Nanometer VLSI
(University of Waterloo, 2010-08-20)Process variability is the pivotal factor impacting the design of high yield integrated circuits and systems in deep sub-micron CMOS technologies. The electrical and physical properties of transistors and interconnects, ... -
A Statistically Rigorous Evaluation of the Cascade Bloom Filter for Distributed Access Enforcement in Role-Based Access Control (RBAC) Systems
(University of Waterloo, 2011-01-20)We consider the distributed access enforcement problem for Role-Based Access Control (RBAC) systems. Such enforcement has become important with RBAC’s increasing adoption, and the proliferation of data that needs to be ... -
Steady-State Analysis and Optimal Power Routing of Standalone Unbalanced Hybrid AC/DC Microgrids
(University of Waterloo, 2018-08-03)The concept of ac microgrids was introduced to integrate distributed generators (DGs) and loads within one entity that can operate autonomously or connected to a utility grid. Furthermore, dc microgrids have received ... -
Stereoscopic image quality assessment by deep convolutional neural network
(Elsevier, 2019-01)In this paper, we propose a no-reference (NR) quality assessment method for stereoscopic images by deep convolutional neural network (DCNN). Inspired by the internal generative mechanism (IGM) in the human brain, which ... -
Stochastic Hybrid Model Predictive Control using Gaussian Processes for Systems with Piecewise Residual Dynamics
(University of Waterloo, 2023-08-17)Data-driven control methods have been used to provide performance and safety benefits for systems where lower fidelity nominal dynamics models are insufficient when operating systems at their limits. These methods typically ... -
Stochastic Modeling and Analysis of Power Systems with Intermittent Energy Sources
(University of Waterloo, 2014-02-11)Electric power systems continue to increase in complexity because of the deployment of market mechanisms, the integration of renewable generation and distributed energy resources (DER) (e.g., wind and solar), the penetration ... -
Strategic and Stochastic Approaches to Modeling the Structure of Multi-Layer and Interdependent Networks
(University of Waterloo, 2016-08-12)Examples of complex networks abound in both the natural world (e.g., ecological, social and economic systems), and in engineered applications (e.g., the Internet, the power grid, etc.). The topological structure of such ... -
Strategic Location Planning for Broadband Access Networks under Cooperative Transmission
(University of Waterloo, 2009-04-28)To achieve a cost-effective network deployment, employing state-of-art technical advances provides a practical and effective way to enhance system performance and quality of service provisioning. Cooperative transmission ... -
Strategic Trip Planning: Striking a Balance Between Competition and Cooperation
(University of Waterloo, 2018-01-15)In intelligent transportation systems, cooperative mobility planning is considered to be one of the challenging problems. Mobility planning as it stands today is an in- dividual decision-making effort that takes place in ... -
Strengthening Physical Unclonable Functions using Composition
(University of Waterloo, 2019-08-22)We explore the idea of composing PUFs with the intent that the resultant PUF is stronger than the constituent PUFs. Prior work has proposed a construction, which sub- sequent work has shown to be weak. We revisit this prior ... -
StringFuzz: A Fuzzer for String SMT Solvers
(University of Waterloo, 2018-08-10)We introduce StringFuzz, a software tool for automatically testing string SMT solvers. String SMT solvers are specialised software tools for solving the Satisfiability Modulo Theories (SMT) problem with string contraints, ... -
Strong Induction in Hardware Model Checking
(University of Waterloo, 2019-08-14)Symbolic Model checking is a widely used technique for automated verification of both hardware and software systems. Unbounded SAT-based Symbolic Model Checking (SMC) algorithms are very popular in hardware verification. ... -
Struck-at Fault Tolerance with Emerging Technology RAM in the NeuroSim MLP Neural Network System
(University of Waterloo, 2021-09-15)After decades of technology advancements, benefits from conventional dimensional scaling and effective scaling such as strain and high-k gate dielectrics are diminishing. In the post-Moore era, interests gathers around ... -
STT-MRAM characterization and its test implications
(University of Waterloo, 2020-04-24)Spin torque transfer (STT)-magnetoresistive random-access memory (MRAM) has come a long way in research to meet the speed and power consumption requirements for future memory applications. The state-of-the-art STT-MRAM ... -
Studies of Magnetic Logic Devices
(University of Waterloo, 2012-06-20)Magnetic nanoscale devices have shown great promise in both research and industry. Magnetic nanostructures have potential for non-volatile data storage applications, reconfigurable logic devices, biomedical devices and ...