Limit your search
- Computer engineering[remove]8
- Computer science[remove]8
- Electrical engineering2
- Mathematics1
- Robotics1
Search Constraints
Filtering by:
Subject
Computer science
Remove constraint Subject: Computer science
Subject
Computer engineering
Remove constraint Subject: Computer engineering
1 - 8 of 8
Number of results to display per page
Search Results
-
- Description:
- Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...
- Subject:
- Electrical engineering, Computer engineering, and Computer science
- Creator:
- Li, You
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 08/23/2023
- Date Created:
- 2023-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- http://dissertations.umi.com/northwestern:16748 and etdadmin_upload_1013532
-
- Description:
- Machine learning is seeping into every fabric in various practical domains such as autonomous driving, wearable computing, and smart buildings. However, in the actual development and integration, especially when the learning-based components are frequently included as components of large complex systems where the physical instances can be included as interactable...
- Keyword:
- Transfer Learning, Reinforcement Learning, Computer Vision, Building HVAC Control, Image Classification, and Machine Learning
- Subject:
- Computer engineering and Computer science
- Creator:
- Xu, Shichao
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 05/31/2023
- Date Created:
- 2023-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- etdadmin_upload_983783 and http://dissertations.umi.com/northwestern:16519
-
- Description:
- Memory management and address translation need significant optimizations in order to not behindrances in the near future. Currently, plenty of work has started to address issues within the current abstraction of the hardware-software codesign of paging. I argue that a new abstraction is needed in order to properly address this...
- Keyword:
- Runtime Environments, Operating Systems, Microarchitecture, Blended Systems, and Compilers
- Subject:
- Computer engineering and Computer science
- Creator:
- Suchy, Brian
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 09/22/2022
- Date Created:
- 2022-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- http://dissertations.umi.com/northwestern:16132 and etdadmin_upload_912710
-
- Description:
- Recent developments in deep learning have led to breakthroughs in rendering novel views from sparse input views of a scene.While the accuracy of these algorithms has improved dramatically, it has come at a huge computational cost. While developments in graphics hardware have ameliorated some of the computational burdens, deep learning-based...
- Keyword:
- Augmented Reality, deep learning, novel view, and view synthesis
- Subject:
- Computer engineering and Computer science
- Creator:
- Ghosh, Sushobhan
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 10/07/2021
- Date Created:
- 2021-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- etdadmin_upload_834671 and http://dissertations.umi.com/northwestern:15657
-
- Description:
- This research looks at the robotic shape formation problem, which is one of the fundamental problems in robotic swarm systems. Here, the task is to move a group of robots to form a user-specified shape. In this dissertation, the task of shape formation is divided to four problems: (i) using...
- Keyword:
- algorithms, swarm systems, scheduling and planning, sensor networks, and distributed systems
- Subject:
- Robotics, Computer engineering, and Computer science
- Creator:
- wang, hanlin
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 10/07/2021
- Date Created:
- 2021-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- http://dissertations.umi.com/northwestern:15732 and etdadmin_upload_844241
-
- Description:
- Security and robustness are two critical problems in modern computing system. In this disserta- tion, we study these two problems in both hardware system and learning system.Firstly, we discuss the robustness problem in hardware system. Modern microprocessors suffer from significant on-chip variation at the advanced technology nodes. The development of...
- Keyword:
- Federated Learning, Robustness, Security, Noisy Traning, Circuit Sythesis, and Formal Verfication
- Subject:
- Computer engineering and Computer science
- Creator:
- Kong, Shuyu N/A
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 10/06/2021
- Date Created:
- 2021-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- http://dissertations.umi.com/northwestern:15770 and etdadmin_upload_845378
-
- Description:
- We address the problem of efficient maintenance of the answer to a new type of query: Continuous Maximizing Range-Sum (Co-MaxRS) for moving objects trajectories. The traditional static/spatial MaxRS problem finds a location for placing the centroid of a given (axes-parallel) rectangle $R$ so that the sum of the weights of...
- Keyword:
- Maximizing Range-Sum Query, MaxRS3, Optimal Density Clustering, Bursty Updates, Moving Objects Trajectories, and MaxRS
- Subject:
- Mathematics, Computer engineering, and Computer science
- Creator:
- Mas-ud Hussain, Muhammed
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 02/12/2020
- Date Created:
- 2018-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- http://dissertations.umi.com/northwestern:14445 and etdadmin_upload_625938
-
- Description:
- Abstract The work presented in this dissertation addresses three broad areas of video signal processing: video transmission, motion estimation and error concealment. In the first category, focused on the source-side, we present two machine learning models for efficient content-aware resource allocation and packet prioritization for video transmission over shared/constrained, lossy...
- Keyword:
- CNN, Optical Flow, Video Transmission, Neural Networks, ConvLSTM, Motion Estimation, Error Concealment, and Capsule Networks
- Subject:
- Electrical engineering, Computer engineering, and Computer science
- Creator:
- Sankisa, Arun
- Owner:
- Scholarly Digital Publishing
- Language:
- en
- Date Uploaded:
- 02/12/2020
- Date Created:
- 2019-01-01
- Resource Type:
- Dissertation
- Alternate Identifier:
- http://dissertations.umi.com/northwestern:14822 and etdadmin_upload_685993