Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 17 of 17 for “"Systems Programming"”.
-
Towards A Practical High-Assurance Systems Programming Language
Writing correct and performant low-level systems code is a notoriously demanding job, even for experienced developers. To make the matter worse, formally reasoning about their correctness properties introduces yet another level of complexity to the task. It requires considerable expertise in both …
-
Lightweight Formal Methods for Correct, Efficient Systems Programming
… reliability. This dissertation presents three systems that use lightweight, practical formal methods to push past this tension between performance and correctness. The Diospyros compiler combines an efficient term-rewriting strategy, equality saturation, with translation validation to find …
-
Mediators: A High-Level Language Construct for Distributed Systems (Programming, Synchronization, Temporal Logic)
… support synchronization and scheduling for systems programming within distributed systems. Mediated objects are based on a resource view of systems, and fit within a programming methodology that emphasizes resource modularity, synchronization modularity and encapsulated concurrency.
-
A feasibility assessment for the use of the community health worker model for inclusive garden-based food systems programming for Virginia Cooperative Extension
Food systems include food production, processing, distribution, marketing, access, preparation, consumption, and disposal and influences of social, economic, and environmental conditions. Virginia Cooperative Extension (VCE) has professionals, paraprofessionals, and volunteers with expertise in …
-
A differential approach to undefined behavior detection
This thesis studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their effects can be further amplified by compiler optimizations. Undefined behavior bugs are present in many systems, …
-
Analytical techniques for debugging pervasive computing environments
… uncover the source of this behavior because systems can be in an incorrect state while continuing to output information or respond to basic queries. The traditional approach to debugging distributed systems is to instrument the entire environment. This does not work when the environments are …
-
Millipyde: A Cross-Platform Python Framework for Transparent GPU Acceleration
… applications and solutions that work across systems running both AMD and non-AMD GPU computing hardware.</p> <p>This thesis presents Millipyde, a framework for GPU acceleration in Python using AMD’s ROCm. Millipyde includes two new types, the gpuarray and gpuimage, as well as three new …
-
A Domain-Specific Aspect Language Approach to Distributed Systems Development
… need to adhere to specific distributed systems programming conventions and frameworks, which makes distributed systems development complex and error prone and ties the resultant application to the distributed system because the application's code is tangled with the crosscutting concern …
-
Towards a New Directive-based Tasking API for Distributed Systems
Programming for large-scale computing requires programming models carefully designed for that purpose. MPI is often the model of choice for distributed systems, but writing MPI program is time-consuming and complicated to maintain and debug as the program size gets larger. Moreover, MPI does not …
-
Efficient Schema Extraction from a Collection of XML Documents
<p>The eXtensible Markup Language (XML) has become the standard format for data exchange on the Internet, providing interoperability between different business applications. Such wide use results in large volumes of heterogeneous XML data, i.e., XML documents conforming to different schemas. …
-
Assessing Satellite Image Data Fusion with Information Theory Metrics
<p>A common problem in remote sensing is estimating an image with high spatial and high spectral resolution given separate sources of measurements from satellite instruments, one having each of these desirable properties. This thesis presents a survey of seven families of algorithms which have been …
-
Code generation of array constructs for distributed memory systems
Programming for high-performance systems to fully utilize the potential of the computing system is a complex problem. This is particularly evident when programming distributed memory clusters containing multiple NUMA chips and GPUs on each node since it would require a complex combination of MPI, …
-
Programming High-Performance Clusters with Heterogeneous Computing Devices
… heterogeneity in the computation and memory subsystems. To program such systems, application developers typically employ a hybrid programming model of MPI across the compute nodes in the cluster and an accelerator-specific library (e.g.; CUDA, OpenCL, OpenMP, OpenACC) across the accelerator …
-
Compilers for portable programming of heterogeneous parallel & approximate computing systems
Programming heterogeneous systems such as the System-on-chip (SoC) processors in modern mobile devices can be extremely complex because a single system may include multiple different parallelism models, instruction sets, memory hierarchies, and systems use different combinations of these features. …
-
Heterogeneous parallel virtual machine: A portable program representation and compiler for performance and energy optimizations on heterogeneous parallel systems
"Programming heterogeneous parallel systems, such as the SoCs (System-on-Chip) on mobile and edge devices is extremely difficult; the diverse parallel hardware they contain exposes vastly different hardware instruction sets, parallelism models and memory systems. Moreover, a wide range of diverse …