Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Archetype (1)
- Asset Management (1)
- Collaboration (1)
- Computer programming (1)
- Data-oriented design (1)
-
- Deep learning (1)
- Documentation (1)
- ECS (Entity-component system) (1)
- Empirical software engineering (1)
- GPGPU (1)
- Hazardous Waste (1)
- Infrastructure (1)
- Irregular applications (1)
- Latency amortization (1)
- Machine Learning (1)
- Metamodel (1)
- Microbenchmarking (1)
- Optimization (1)
- Particle filters (1)
- Program bugfixes (1)
- Prototype tool (1)
- Resampling methods (1)
- Software design (1)
- Software development (1)
- Software verification (1)
- Sparse set (1)
- Wastewater (1)
- Workflow (1)
Articles 1 - 8 of 8
Full-Text Articles in Physical Sciences and Mathematics
Design Of Ethical Autonomous Agents For Unmanned Aerial Vehicles Using Fuzzy Logic, Gavin Giovanni Smith
Design Of Ethical Autonomous Agents For Unmanned Aerial Vehicles Using Fuzzy Logic, Gavin Giovanni Smith
Theses and Dissertations
Autonomous systems have, over the years become part of our everyday lives. These systems have been deployed to executed a diverse range of applications in different industries; finance, healthcare, military, and in particular, the flight industry. With the rise of UAVs, new opportunities arose, but with those opportunities came new pitfalls within any industry. For UAVs, one of the pitfalls came in the form of ethical decisionmaking, which led to a variety of questions. Can the Autonomous systems within UAVs be designed with ethics in mind? Which ethical guidelines would we use to implement such a system? How would we …
Gpgpu Microbenchmarking For Irregular Application Optimization, Dalton R. Winans-Pruitt
Gpgpu Microbenchmarking For Irregular Application Optimization, Dalton R. Winans-Pruitt
Theses and Dissertations
Irregular applications, such as unstructured mesh operations, do not easily map onto the typical GPU programming paradigms endorsed by GPU manufacturers, which mostly focus on maximizing concurrency for latency hiding. In this work, we show how alternative techniques focused on latency amortization can be used to control overall latency while requiring less concurrency. We used a custom-built microbenchmarking framework to test several GPU kernels and show how the GPU behaves under relevant workloads. We demonstrate that coalescing is not required for efficacious performance; an uncoalesced access pattern can achieve high bandwidth - even over 80% of the theoretical global memory …
A Tool-Supported Metamodel For Program Bugfix Analysis In Empirical Software Engineering, Manal Zneit
A Tool-Supported Metamodel For Program Bugfix Analysis In Empirical Software Engineering, Manal Zneit
Theses and Dissertations
This thesis describes a software modeling approach aimed at addressing empirical studies in software engineering. We build a metamodel that provides an overview of the taxonomy of program bugfixes in deep learning programs. For modeling purposes, we present a prototype tool that is an implementation of the model-driven techniques presented.
Development Of Software Tools For Efficient And Sustainable Process Development And Improvement, Jake P. Stengel
Development Of Software Tools For Efficient And Sustainable Process Development And Improvement, Jake P. Stengel
Theses and Dissertations
Infrastructure is a key component in the well-being of our society that leads to its growth, development, and productive operations. A well-built infrastructure allows the community to be more competitive and promotes economic advancement. In 2021, the ASCE (American Society of Civil Engineers) ranked the American infrastructure as substandard, with an overall grade of C-. The overall ranking suffers when key infrastructure categories are not maintained according to the needs of the population. Therefore, there is a need to consider alternative methods to improve our infrastructure and make it more sustainable to enhance the overall grade. One of the challenges …
Investigating Collaboration In Software Reverse Engineering, Allison M. Wong
Investigating Collaboration In Software Reverse Engineering, Allison M. Wong
Theses and Dissertations
Reverse engineering (RE) is a rigorous process of exploration and analysis to support software design recovery and exploit development. The process is often conducted in teams to divide the workload and take full advantage of engineers' individual expertise and strengths. Collaboration in RE requires versatile and reliable tools that can match the environment's unpredictable and fluid nature. While studies on collaborative software development have indicated common best practices and implementations, similar standards have not been explored in reverse engineering. This research conducts semi-structured interviews with reverse engineering experts to understand their needs and solutions while working in a team. The …
An Investigation Of Data Storage In Entity-Component Systems, Bailey V. Compton
An Investigation Of Data Storage In Entity-Component Systems, Bailey V. Compton
Theses and Dissertations
Entity-Component Systems (ECS) have grown vastly in application since their introduction more than 20 years ago. Providing the ability to efficiently manage data and optimize program execution, ECSs, as well as the wider field of data-oriented design, have attained popularity in the realms of modeling, simulation, and gaming. This manuscript aims to elucidate and document the storage frameworks commonly found in ECSs, as well as suggesting conceptual connections between ECSs and relational databases. This formal documentation of the in-memory storage formats of entity-component systems affords the United States Air Force, the Department of Defense, and the software engineering community a …
An Entity-Component System Based, Ieee Dis Interoperability Interface, Noah W. Scott
An Entity-Component System Based, Ieee Dis Interoperability Interface, Noah W. Scott
Theses and Dissertations
In practice, there are several different methods of organizing data within a given software to fulfil its function. The method known as the Entity-Component System (ECS) is a software architecture where data components define entities. These components are stored as organized lists which are operated upon by systems to inject the system's desired behavior. Data is sent across the networks to communicate between simulation nodes as Protocol Data Units (PDUs). When sending PDUs across a network protocol, each simulation represents a common understanding of the world at the desired level of detail. DIS-compliant simulations are commonly written using an Object-Oriented …
Formal Spark Verification Of Various Resampling Methods In Particle Filters, Osiris J. Terry
Formal Spark Verification Of Various Resampling Methods In Particle Filters, Osiris J. Terry
Theses and Dissertations
The software verification in this thesis concentrates on verifying a particle filter for use in tracking and estimation, a key application area for the Air Force. The development and verification process described in this thesis is a demonstration of the power, limitation, and compromises involved in applying automated software verification tools to critical embedded software applications.