Browsing University of Waterloo by Supervisor "Czarnecki, Krzysztof"
Now showing items 41-46 of 46
-
Transferring Pareto Frontiers across Heterogeneous Hardware Environments
(University of Waterloo, 2020-09-14)Configurable software systems provide options that affect functional and non-functional system properties. Selection of options forms system configurations with corresponding properties values. Nowadays configurable software ... -
Understanding and Enhancing CDCL-based SAT Solvers
(University of Waterloo, 2018-08-02)Modern conflict-driven clause-learning (CDCL) Boolean satisfiability (SAT) solvers routinely solve formulas from industrial domains with millions of variables and clauses, despite the Boolean satisfiability problem being ... -
A User-Centric Approach to Improve the Quality of UML-like Modelling Tools and Reduce the Efforts of Modelling
(University of Waterloo, 2020-01-28)As software systems grow in size and complexity, their development and maintenance are becoming increasingly challenging. Model-Driven Engineering (MDE) has been proposed as a means to increase the developer's productivity ... -
Vision Augmented State Estimation with Fault Tolerance
(University of Waterloo, 2018-05-15)Obtaining accurate and reliable measurement data is really crucial for any vehicle system, especially if the system deals with maintaining safe operations of the vehicle. Conventional direct methods of obtaining such ... -
WiseBench: A Motion Planning Benchmarking Framework for Autonomous Vehicles
(University of Waterloo, 2020-10-01)Rapid advances in every sphere of autonomous driving technology have intensified the need to be able to benchmark and compare different approaches. While many benchmarking tools tailored to different sub-systems of an ... -
XC: Exploring Quantitative Use Cases for Explanations in 3D Object Detection
(University of Waterloo, 2022-01-18)Explainable AI (XAI) methods are frequently applied to obtain qualitative insights about deep models' predictions. However, such insights need to be interpreted by a human observer to be useful. In this thesis, we aim to ...